Bureaucrats, Check users, Interface administrators, Push subscription managers, Suppressors, Administrators, upwizcampeditors
1,713
edits
MediaWiki:Common.js: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 50: | Line 50: | ||
var xpath = users.map(function(user) { | var xpath = users.map(function(user) { | ||
return " | return "contains(text(), '" + user + "')" | ||
}) | }) | ||
xpath = xpath.join(" or ") | xpath = `//*[${xpath.join(" or ")}]]` | ||
var nodes = document.evaluate(xpath, document, null, XPathResult.ANY_TYPE, null); | var nodes = document.evaluate(xpath, document, null, XPathResult.ANY_TYPE, null); | ||