Bureaucrats, Check users, Interface administrators, Push subscription managers, Suppressors, Administrators, upwizcampeditors
1,732
edits
MediaWiki:Common.js: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 38: | Line 38: | ||
return el.href.includes("User:"); | return el.href.includes("User:"); | ||
}); | }); | ||
print("Userelements: " + userelements.join(", ")) | |||
if (userelements.length != 0) { | if (userelements.length != 0) { | ||
var users = userelements.map(function (el) { | var users = userelements.map(function (el) { | ||
var match = el.href.match(new RegExp("/(?<=\/wiki\/User:).*/gis")) | var match = el.href.match(new RegExp("/(?<=\/wiki\/User:).*/gis")); | ||
if (match) { | if (match) { | ||
return match[0]; | return match[0]; | ||