MediaWiki:Common.js: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 17: Line 17:
// Dropdown-Menü für die [[MediaWiki:Edittools]]
// Dropdown-Menü für die [[MediaWiki:Edittools]]
includePage( 'MediaWiki:Edittools.js' );
includePage( 'MediaWiki:Edittools.js' );
// Printer options
mw.loader.load("MediaWiki:Gadget-PrintOptions.js&action=raw&ctype=text/javascript");