MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
mw.loader.getScript('/codemirror.js' | mw.loader.getScript('/codemirror.js') | ||
.then(mw.loader.getScript('/progzoo.js')) | |||
.then(function(){ | .then(function(){ | ||
preparePage(); | preparePage(); | ||
}) | }) | ||
mw.loader.load('/codemirror.css','text/css'); | mw.loader.load('/codemirror.css','text/css'); | ||