MediaWiki:Common.js: Unterschied zwischen den Versionen

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