joomla/joomla-cms — pull request #5232 by okonomiyaki3000 (2014-11-28 06:35:14+00:00)
Title: CodeMirror 4.8

Because there seems to be something wrong over at #5145