MediaWiki:Gadget-charinsert.js: Unterschied zwischen den Versionen
(Sonderzeichenliste unter dem Textbearbeitungsfenster) |
(kein Unterschied)
|
Aktuelle Version vom 22. September 2019, 12:45 Uhr
/** * charinsert loader */ if ( /^(edit|submit)$/.test( mw.config.get( 'wgAction' ) ) || mw.config.get( 'wgCanonicalSpecialPageName' ) === 'Upload' ) { mw.loader.load( 'ext.gadget.charinsert-core' ); }