A MediaWiki extension for basic statistics