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

обновление
уточнение
Строка 1: Строка 1:
//rewritten by [[m:User:Hoo man]]; 2012-08-26, adapted by [[user:Obersachse]]
mw.loader.using('mediawiki.util', function() {
mw.loader.using('mediawiki.util', function() {
var userSet = {
var userSet = {