"CodeMirror is a JavaScript component that provides a code editor in the browser. It has a rich programming API and a focus on extensibility."@en . . "5.1" . . "CodeMirror"@en . . . . .