Changes to allow backward compatibility with plain ole CodeMirror themes
Merge pull request #8673 from MiguelCastillo/themes-filenames

Changes to allow backward compatibility with plain ole CodeMirror themes