Anonymous user
MediaWiki:Gadget-OnlineAdmins.js: Difference between revisions
Jump to navigation
Jump to search
MediaWiki:Gadget-OnlineAdmins.js (view source)
Revision as of 11:24, 28 November 2017
, 28 November 2017Code cleansing
No edit summary |
(Code cleansing) |
||
| Line 23: | Line 23: | ||
admins = []; | admins = []; | ||
// | // Recent edits within 15 minutes | ||
time = new Date(); | time = new Date(); | ||
rcstart = time.toISOString(); | rcstart = time.toISOString(); | ||
| Line 141: | Line 141: | ||
patrollers = []; | patrollers = []; | ||
// | //Recent edit within 15 minutes | ||
time = new Date(); | time = new Date(); | ||
rcstart = time.toISOString(); | rcstart = time.toISOString(); | ||
| Line 184: | Line 184: | ||
// 找到管理员，去除adminbot | // 找到管理员，去除adminbot | ||
if ($.inArray('bot', user.groups) === -1) { | if ($.inArray('bot', user.groups) === -1) { | ||
if ($.inArray('patroller', user.groups) > -1) { | if ($.inArray('patroller', user.groups) > -1) { | ||
patrollers[i] = user.name; | patrollers[i] = user.name; | ||