MediaWiki:Common.js: Różnice pomiędzy wersjami
Przejdź do nawigacji
Przejdź do wyszukiwania
(Utworzył nową stronę „function includePage( name ) { document.write('<script type="text/javascript" src="' + wgScript + '?title=' + name + '&action=raw&ctype=text/javascript"><\/script...”) |
|||
| Linia 1: | Linia 1: | ||
function includePage( name ) | function includePage( name ) | ||
{ | { | ||
| − | + | document.write('<script type="text/javascript" src="' + wgScript + '?title=' | |
| − | + | + name | |
| − | + | + '&action=raw&ctype=text/javascript"><\/script>' | |
| − | + | ); | |
} | } | ||
/* End of includePage */ | /* End of includePage */ | ||
| Linia 11: | Linia 11: | ||
// switches for scripts | // switches for scripts | ||
// var load_extratabs = true; | // var load_extratabs = true; | ||
| + | var load_edittools = true; | ||
| + | |||
| + | // extra drop down menu on editing for adding special characters | ||
| + | includePage( 'MediaWiki:Edittools.js' ); | ||
| + | /* Including extra .js pages */ | ||
| + | // switches for scripts | ||
var load_edittools = true; | var load_edittools = true; | ||
// extra drop down menu on editing for adding special characters | // extra drop down menu on editing for adding special characters | ||
includePage( 'MediaWiki:Edittools.js' ); | includePage( 'MediaWiki:Edittools.js' ); | ||
Wersja z 23:05, 30 paź 2011
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' );
/* 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' );
