Use a class member instead of a global for keeping slaveIndexes.
authorPlatonides <platonides@users.mediawiki.org>
Thu, 12 Aug 2010 20:27:54 +0000 (20:27 +0000)
committerPlatonides <platonides@users.mediawiki.org>
Thu, 12 Aug 2010 20:27:54 +0000 (20:27 +0000)
commitb42d7a7fdfa698949a39ceced28b19d56915578a
tree4782937969387c017823952c472eef7bb6bab0a4
parent4ad22c9e3f9c8e11061d5f75d6aca1187c54f41a
Use a class member instead of a global for keeping slaveIndexes.
maintenance/fixSlaveDesync.php