joomla/joomla-cms — pull request #5550 by okonomiyaki3000 (2014-12-29 10:04:23+00:00)
Title: CodeMirror 4.9

In addition to updating the CodeMirror Javascript and css files, this update exposes a new CodeMirror option via the plugin's configuration screen in the Joomla! administrator. It's a minor thing, you can now select a scrollbar style.

Oh, and CodeMirror 4.9 also includes 2 new dark themes so maybe one of them appeals to someone.