Extension:MirrorTools/Principles


 * When doing a MAX(whatever), don't forget that local changes could have happened later than the remote changes. Ideally, local changes should be queued and not executed until mirroring of remote changes has caught up to the timestamp of the local changes in the queue. (Is this true?)
 * Be leery about retrieving stuff, like page IDs and page titles, from the "live" Wikipedia data, that is subject to change because of page moves, page deletion/undeletion cycles, etc.
 * When pages are deleted on Wikipedia, their revisions remain at their old page_id and page_namespace and page_title; they don't get moved around on Inclupedia. Or do they, and then they get recalled to their old location if the revisions are undeleted on Wikipedia?