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

Neither locally nor remotely controlled revisions present at target page
Impossible to delete, because there are no revisions to delete.

Only locally controlled revisions present at target page
Delete as normal.

Only remotely controlled revisions present at target page
Impossible to delete, because remotely controlled pages and revisions can't be deleted locally.

Both locally and remotely controlled revisions present at target page
Impossible to delete, because remotely controlled pages and revisions can't be deleted locally.

Neither locally nor remotely controlled revisions present at target page
Impossible to mirrordelete, because there are no revisions to mirrordelete.

Only locally controlled revisions present at target page
Impossible to mirrordelete, because there must be remotely controlled revisions present in order to do a mirrordelete.

Only remotely controlled revisions present at target page
Mirrordelete as normal.

Both locally and remotely controlled revisions present at target page
Delete only the remotely controlled revisions. will be the remote, which makes sense because the deleted page had that same page_id.

Neither locally nor remotely controlled revisions present at target page
Undelete as normal.

Only locally controlled revisions present at target page
Undelete as normal.

Only remotely controlled revisions present at target page
Undelete as normal.

Both locally and remotely controlled revisions present at target page
Undelete as normal.

Mirrorundelete
rev_mt_former_id will be ar_page_id.

Neither locally nor remotely controlled revisions present at target page
Mirrorundelete as normal.

Only locally controlled revisions present at target page
Undelete to ar_page_id. Change local revisions over to the ar_page_id if necessary.

Only remotely controlled revisions present at target page
Mirrorundelete as normal.

Both locally and remotely controlled revisions present at target page
Mirrorundelete as usual.