User:Love Robin/global.js

/* dev messages */ importArticles({   type: 'script',    articles: [        'u:dev:AjaxBatchDelete/code.js', // to delete a batch of pages, just add the page names (not page URLs) in the form, each on a new line, and proceed to delete them with a set reason. The script will stop when it reaches an empty line, and it can be terminated early by blanking the list of pages remaining to be deleted        'u:dev:Message/code.js' // message multiple users on the same wiki        'u:dev:CategoryRenameAuto-update/code.js', //adds a button in the dropdown on any category page (called "Rename"), which will redirect to the category renaming form    ] });