Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  7a3e72d555ad9f20e2d303cf9a39b77e83723ca5

Display additional stats in Special:Statistics

Change-Id: Ic576f9048d5a4a0247975fd509b3f42741e04091