diff --git a/extension.json b/extension.json index 83621133..35c5daed 100644 --- a/extension.json +++ b/extension.json @@ -21,9 +21,6 @@ "CodeMirrorHooks": "CodeMirror.hooks.php" }, "ResourceModules": { - "ext.CodeMirror.loader": { - "loaderScripts": "ext.CodeMirror.loader.js" - }, "ext.CodeMirror": { "dependencies": [ "ext.CodeMirror.lib", diff --git a/resources/ext.CodeMirror.loader.js b/resources/ext.CodeMirror.loader.js deleted file mode 100644 index 75cd02dd..00000000 --- a/resources/ext.CodeMirror.loader.js +++ /dev/null @@ -1,7 +0,0 @@ -( function ( mw ) { - var config = mw.config.get( 'extCodeMirrorConfig' ); - - if ( config.pluginModules && config.pluginModules.length > 0 ) { - mw.loader.load( config.pluginModules ); - } -}( mediaWiki ) );