MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
No edit summary Tags: Manual revert Reverted |
No edit summary Tag: Manual revert |
||
| Line 1: | Line 1: | ||
mw.loader.load('/codemirror.js'); | |||
mw.loader.load('/codemirror.css','text/css'); | |||
mw.loader.load('/cmjavascript.js'); | |||
mw.loader.load('/jslint.mjs'); | |||
mw.loader.load('/progzoo.js'); | mw.loader.load('/progzoo.js'); | ||