Manual:FixSlaveDesync.php

Details

fixSlaveDesync.php file is a maintenance script to fix erroneous page_latest values due to slave desynchronisation.