MediaWiki:Gadget-site.js: различия между версиями

Материал из emigrantopedia.de
Нет описания правки
м (Kaganer переименовал страницу MediaWiki:Common.js в MediaWiki:Gadget-site.js без оставления перенаправления)
(нет различий)

Версия от 18:14, 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' );
Источник — https://emigrantopedia.de/?title=MediaWiki:Gadget-site.js&oldid=3035