MediaWiki:Gadget-EnhancedUndelete
From MediaWiki.org
EnhancedUndelete: Administrative tool to select all checkboxes or invert your selection to make it easier to selectively undelete pages.
