Return to Special:CreateRedirect/Special:WhatLinksHere/MediaWiki:Gadget-Extra-Editbuttons-botworks.js.