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.