MediaWiki:Common.js

/* Including extra .js pages */ // switches for scripts var load_edittools = true; // extra drop down menu on editing for adding special characters includePage( 'MediaWiki:Edittools.js' );