Extension:MirrorTools/Delete and mirrordelete