Manual:FixSlaveDesync.php

FixSlaveDesync.php is a MediaWiki maintenance script that fixes erroneous page_latest values due to slave desynchronisation.