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