MediaWiki:Gadget-site.js: различия между версиями
Материал из emigrantopedia.de
Kaganer (обсуждение | вклад) Нет описания правки |
Kaganer (обсуждение | вклад) Нет описания правки |
||
Строка 3: | Строка 3: | ||
// [[File:User:MSchottlender-WMF/MinimalRCFilters.js]] (BROKEN ON PURPOSE! see [[phab:T35355]]) | // [[File:User:MSchottlender-WMF/MinimalRCFilters.js]] (BROKEN ON PURPOSE! see [[phab:T35355]]) | ||
//mw.loader.load( 'https://www.mediawiki.org/w/index.php?title=User:MSchottlender-WMF/MinimalRCFilters.js&action=raw&ctype=text/javascript' ); | //mw.loader.load( 'https://www.mediawiki.org/w/index.php?title=User:MSchottlender-WMF/MinimalRCFilters.js&action=raw&ctype=text/javascript' ); | ||
/* Functions */ | |||
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' ); |
Версия от 18:12, 5 марта 2021
/* Размещённый здесь код JavaScript будет загружаться пользователям при обращении к каждой странице */
// [[File:User:MSchottlender-WMF/MinimalRCFilters.js]] (BROKEN ON PURPOSE! see [[phab:T35355]])
//mw.loader.load( 'https://www.mediawiki.org/w/index.php?title=User:MSchottlender-WMF/MinimalRCFilters.js&action=raw&ctype=text/javascript' );
/* Functions */
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' );