Extension:MirrorTools/Core fields

revision.rev_mt_page
Remote wiki rev_page. This needs to change when pages are undeleted on the remote wiki, because the rev_page won't be preserved.

revision.rev_mt_user
Remote wiki user_id.

revision.rev_mt_former_page
rev_page from before the revisions were merged into the page history of the mirrored page. rev_page will be restored to this value if the mirrored revisions are moved elsewhere. See Extension:MirrorTools/Move_and_mirrormove.

Example:
 * Page A (page_id G) is created locally with revision X.
 * Page B (page id H) is created remotely with revision Y.
 * Page B is then moved remotely to page A.
 * Page A's page_id becomes H.
 * Revision X's rev_page becomes H.
 * Revision X's rev_mt_former_page is set to G.


 * Page A is then moved to page C (keeping the same page_id, H, of course).
 * Revision X's rev_page becomes G, its rev_mt_former_page.

The point of this is so that two principles are adhered to:
 * Wikipedians can't, by moving a page around sequentially to a bunch of page titles occupied by Inclupedia pages, "scoop up" all those Inclupedia revisions in a way that would have to be manually reversed.
 * A Wikipedia page that's moved to an Inclupedia page will, at least temporarily, merge its history with that page's history. If the Wikipedia page is later moved, then it's assumed that in all likelihood, the move was a mistake, so the history merge is reversed.

revision.rev_mt_remotely_live
Does the revision exist on the remote wiki? (if deleted, then 0) Stuff that doesn't exist on the remote wiki doesn't move when the page moves. An example would be revisions from a Wikipedia page that was deleted, that Inclupedia doesn't see fit to delete.

revision.rev_mt_push_timestamp
Timestamp the revision was mirrorpushed.

logging.log_mt_push_timestamp
Timestamp the log entry was mirrorpushed.

logging.log_mt_user
Remote wiki user_id.