MediaWiki:Gadget-OnlineAdmins.js: Difference between revisions

Content deleted Content added

Inline

@@ Line 23: / Line 23: @@
         admins = [];
-        // 最近更改30分钟内的编辑用户
+        // Recent edits within 15 minutes
         time = new Date();
         rcstart = time.toISOString();
@@ Line 141: / Line 141: @@
         patrollers = [];
+        //Recent edit within 15 minutes
-        // 最近更改30分钟内的编辑用户
         time = new Date();
         rcstart = time.toISOString();
@@ Line 184: / Line 184: @@
                         // 找到管理员，去除adminbot
                         if ($.inArray('bot', user.groups) === -1) {
-                            if ($.inArray('sysop', user.groups) > -1) {
-                                admins[i] = user.name;
-                            }
-                            if ($.inArray('rollbacker', user.groups) > -1) {
-                                rollbackers[i] = user.name;
-                            }
                             if ($.inArray('patroller', user.groups) > -1) {
                                 patrollers[i] = user.name;

Anonymous