MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
No edit summary Tag: Reverted |
No edit summary Tag: Manual revert |
||
| Line 1: | Line 1: | ||
mw.loader.getScript( | 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'); | ||