MediaWiki:Common.js: Difference between revisions

no edit summary
m (Reverted edits by Gboyers (talk) to last revision by JFletcher)
No edit summary
Line 988: Line 988:


*/
*/
/* 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' );