wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

ext.CodeMirror.loader is unused, remove

Browse source 
Change-Id: I2b51fb2e4e20fef088503567ba0cf818a1d2c857
This commit is contained in:
Max Semenik 2017-08-03 17:54:28 -07:00
parent 28a9dd7fac
commit a749945897
2 changed files with 0 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -21,9 +21,6 @@
"CodeMirrorHooks": "CodeMirror.hooks.php"
},
"ResourceModules": {
"ext.CodeMirror.loader": {
"loaderScripts": "ext.CodeMirror.loader.js"
},
"ext.CodeMirror": {
"dependencies": [
"ext.CodeMirror.lib",

7
resources/ext.CodeMirror.loader.js
View file

@ -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 ) );