Manual:FixSlaveDesync.php/de-formal

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