[Mediawiki-l] Resetting Special:Statistics

[Thomas Dalton]

> I added an AdminSettings.php file to the wiki root.
> Then I ran "initStats.php" from the maintenance directory, from the
> shell.
> Here is my output, but the numbers are not reset back to 0.

Is that what initStats.php is meant to do? I would have thought it was
meant to set the stats to the correct values after they have become
incorrect for some reason. The stats saying there are 0 articles when
that's not true would be very confusing... it could result in negative
numbers if a pre-existing article were deleted. If you want to set the
stats to 0, I guess you would have to modify the database directly,
but the code will probably set them back to the correct values once it
realises they are wrong.