MediaWiki:Gadgets-definition

editing-tools-for-Page-namespace

  • old_LST[ResourceLoader]|old_LST.js

admin-tools

  • massdelete[ResourceLoader|rights=delete]|massdelete.js