MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
No edit summary Tag: Reverted |
No edit summary Tag: Reverted |
||
Line 1: | Line 1: | ||
mw.loader.load('/codemirror/lib/ | mw.loader.load('/codemirror/lib/condemirror.js'); | ||
mw.loader.load('/progzoo.js'); | mw.loader.load('/progzoo.js'); |