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

Версия 00:48, 10 мая 2013

var userSet = {
'A':'|Mongol|Гимилькон|FreeProxy|',
'B':'|FreeProxy|',
'C':'|FreeProxy|',
'O':'|Arhssaarh|',
'R':'|Великий Андрей Зелев|Crush|Dream|Serebr|WikiLogia|Володя Шишкин|Eagle Warrior|',
'S':'|Великий Андрей Зелев|WikiLogia|Serebr|'
}
 
var userSetTip = {
'A':'администратор',
'B':'бюрократ',
'C':'чекюзер',
/*'V':'ревизор',*/
'O':'основатель',
'R':'член Правления',
'S':'системный администратор'
}

addOnloadHook(markUsers)
 
function markUsers(){
 var body, lnk, mm, user, mark, i, k, flags, tips
 cont = document.getElementById('bodyContent') || document.getElementById('content')
 if (!cont) return
 var links = cont.getElementsByTagName('A')
 for (i=0; i<links.length; i++){
  lnk = links[i]
  if (!lnk.title || ! (mm=lnk.title.match('Участник:(.*)'))) continue
  user = decodeURIComponent(mm[1])
  if (lnk.className.indexOf('new') != -1) user = user.replace(/ \([^\)]+\)$/,'')
  user = '|' + user + '|'
  flags = []
  for (k in userSet)
    if (userSet[k].indexOf(user) >= 0)
	  flags.push(k)
  if (flags.length == 0) continue
  tips = []
  for (k in flags) tips.push(userSetTip[flags[k]])
  mark = document.createElement('tt')
  mark.className = 'userflags'
  mark.appendChild(document.createTextNode('(' + flags.join(',') + ')'))
  lnk.appendChild(mark)
  lnk.title += ' ('+tips.join(', ')+')'
 }
}