Manual:FixTimestamps.php/de-formal

Details
fixTimestamps.php file is a maintenance script to fix timestamp corruption caused by one or more webservers temporarily being set to the wrong time.

The time offset must be known and consistent. Start and end times (in 14-character format) restrict the search, and must bracket the damage. There must be a majority of good timestamps in the search period.