[Tool] AjaxUndo: Adds an Ajax undo link next to the normal undo link on page histories and diff views.
Gadget-ajaxundo
MediaWiki page
[Tool] AjaxUndo: Adds an Ajax undo link next to the normal undo link on page histories and diff views.