Update redaxo/include/addons/be_style/plugins/codemirror/config.inc.php

codemirror. defaulttheme redaxo