MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 18. Februar 2012, 07:40 Uhr

/* Das folgende JavaScript wird für alle Benutzer geladen. */

@@ Zeile 1: / Zeile 1: @@
 /* Das folgende JavaScript wird für alle Benutzer geladen. */
-/** CharInsert Setup, see http://www.mediawiki.org/wiki/Extension:CharInsert */
-var load_edittools = true;
-// extra drop down menu on editing for adding special characters
-importScript( 'MediaWiki:Edittools.js' );
-// Editpage scripts
-if( wgAction == 'edit' || wgAction == 'submit' ) {
-        importScript( 'MediaWiki:Editpage.js' );
-}