Manual:fixSlaveDesync.php
![]() | This feature was removed completely in version 1.26. |
MediaWiki file: fixSlaveDesync.php | |
---|---|
Location: | maintenance/ |
Source code: | master • 1.39.1 • 1.38.5 • 1.35.9 |
Classes: | FixSlaveDesync |
Details[edit]
fixSlaveDesync.php file is a maintenance script to fix erroneous page_latest
values due to slave desynchronisation.