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 sysop (administrator) usergroup is shown below: