Bureaucrats, Check users, Interface administrators, Push subscription managers, Suppressors, Administrators, upwizcampeditors
1,734
edits
MediaWiki:Common.js: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 50: | Line 50: | ||
return el != null; | return el != null; | ||
}); | }); | ||
print("Users: " + users.join(", ")); | |||
api.get( { | api.get( { | ||