MediaWiki:Common.js: Unterschied zwischen den Versionen

MediaWiki:Common.js (Quelltext anzeigen)

398 Bytes entfernt , 20. Februar 2018

Änderung 187892 von Karl Gruber (Diskussion) rückgängig gemacht.

163.410

Bearbeitungen

@@ Zeile 327: / Zeile 327: @@
 if ( mw.config.get( 'wgUserName' ) === null /* inlined mw.user.isAnon() */ ) {
 	mw.loader.load("ext.gadget.teahouse");
-}
-/**
- * Edittools
- *
- * Formatting buttons for special characters below the edit field
- * Also enables these buttons on any textarea or input field on the page.
- *
- * Maintainer: [[User:Lupo]], [[User:DieBuche]]
- */
-if ( $.inArray( mw.config.get( 'wgAction' ), [ 'edit' , 'submit' ]) > -1
-	|| mw.config.get( 'wgCanonicalSpecialPageName' ) === 'Upload'
-) {
- importScript('MediaWiki:Edittools.js');
 }