Difference between revisions of "MediaWiki:Common.js"

Revision as of 23:26, 16 October 2010

/*** BEGIN EDITTOOLS ***/
function includePage( name )
{
 document.write('<script type="text/javascript" src="' + wgScript + '?title='
  + name 
  + '&action=raw&ctype=text/javascript"><\/script>' 
 );
}
/* End of includePage */
/* Including extra .js pages */ 
 
// switches for scripts
// var load_extratabs = true;
var load_edittools = true;
 
// extra drop down menu on editing for adding special characters
includePage( 'MediaWiki:Edittools.js' );
/*** END EDITTOOLS ***/


addOnloadHook(function() {
    // Hide stuff that's supposed to be invisible with JavaScript on
    $j(".no-js").css("display", "none");
});