Jump to content

Manual:fixSlaveDesync.php

From mediawiki.org

Details

[edit]

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