Manual:InitStats.inc/de-formal

Details
InitStats.inc is a MediaWiki maintenance script, to re-initialize or update the site statistics table.