Bureaucrats, Check users, Interface administrators, Push subscription managers, Suppressors, Administrators, upwizcampeditors
1,718
edits
MediaWiki:Common.js: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 39: | Line 39: | ||
}); | }); | ||
console.log("Userelements: " + userelements.join(", ")) | |||
if (userelements.length != 0) { | if (userelements.length != 0) { | ||
| Line 53: | Line 53: | ||
}); | }); | ||
console.log("Users: " + users.join(", ")); | |||
api.get( { | api.get( { | ||