Extension:MirrorTools/Needed indices

These are indices that may need to be added, for performance reasons:


 * onTitleMoveComplete: rev_page, rev_remotely_live, rev_timestamp