MediaWiki:Common.js: Unterschied zwischen den Versionen

← Zum vorherigen Versionsunterschied Zum nächsten Versionsunterschied →

@@ Zeile 17: / Zeile 17: @@
 // var load_extratabs = true;
 var load_edittools = true;
+// extra drop down menu on editing for adding special characters
-if (document.URL.indexOf("action=edit") > 0 || document.URL.indexOf("action=submit") > 0) {
+includePage( 'MediaWiki:Edittools.js' );
-    includePage("MediaWiki:Edittools.js");
-}