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