MediaWiki:Gadget-undo+

Undo+: This script adds an additional undo button on the diff pages. When clicked, a window will open to enter an edit summary, and when submitted the edit will be automatically undone.