MediaWiki:Gadget-EnhancedUndelete

EnhancedUndelete: Administrative tool to select all checkboxes or invert your selection to make it easier to selectively undelete pages.