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 53: | Line 53: | ||
}) | }) | ||
xpath = | 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); | ||