AjaxRedirect

AjaxRedirect adds a "Redirect" button to the page edit drop-down menu. When the button is clicked, a popup will appear asking what the page should redirect to. After confirming, it will instantly redirect the current page to the specified one.
Note: If this script is installed wiki-wide, it is strongly recommended to enclose the import statement in an if statement which will only let certain usergroups load the script. An example for the administrator usergroup is shown below:
if (mw.config.get("wgUserGroups").indexOf('sysop') > -1)
 importScriptPage('MediaWiki:AjaxRedirect/code.js', 'dev');
== ==