Extension:MirrorTools/Pagedelete, mirrorpagedelete, pagerestore, and mirrorpagerestore

< Extension:MirrorTools

(Redirected from Extension:MirrorTools/Delete, mirrordelete, undelete, and mirrorundelete)

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.

Retrieved from "https://www.mediawiki.org/w/index.php?title=Extension:MirrorTools/Pagedelete,_mirrorpagedelete,_pagerestore,_and_mirrorpagerestore&oldid=3738937"