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 17: | Line 17: | ||
if (headers) { | if (headers) { | ||
for (const header of headers) { | for (const header of Array.from(headers)) { | ||
const paragraph = header.querySelector('p') | const paragraph = header.querySelector('p') | ||