MediaWiki:Gadget-EnhancedUndelete
From Meta, a Wikimedia project coordination wiki
EnhancedUndelete: Administrative tool to select all checkboxes or invert your selection to make it easier to selectively undelete pages.
