Difference between revisions of "MediaWiki:Common.js"
Jump to navigation
Jump to search
(Created page with "// <nowiki> function includePage( name ) { document.write('<script type="text/javascript" src="' + wgScript + '?title=' + name + '&action=raw&ctype=text/javascript"><\/...") |
|||
| Line 1: | Line 1: | ||
/* Including extra .js pages */ | |||
// switches for scripts | |||
var load_edittools = true; | |||
// extra drop down menu on editing for adding special characters | |||
includePage( 'MediaWiki:Edittools.js' ); | |||
// <nowiki> | // <nowiki> | ||
Revision as of 21:36, 22 February 2014
/* Including extra .js pages */
// switches for scripts
var load_edittools = true;
// extra drop down menu on editing for adding special characters
includePage( 'MediaWiki:Edittools.js' );
// <nowiki>
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
// TODO: migrate to JSConfig
// var load_extratabs = true;
var load_edittools = true;
// extra drop down menu on editing for adding special characters
includePage( 'MediaWiki:Edittools.js' );
// "</nowiki>