Update codemirror.plugin.php