Translations:Manual:FixSlaveDesync.php/2/en

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