Extension:MirrorTools/Pagedelete, mirrorpagedelete, pagerestore, and mirrorpagerestore
 | This extension has been archived.
This extension has not been maintained for some time, and no longer supports recent releases of MediaWiki. To see the page before archival, click here. |