Translations:Manual:FixSlaveDesync.php/2/en

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