Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  a7043460dec36b1ef5252ccb812bfb4aba399714
null
spacing improvements

Change-Id: I6e7d1ea93904358fe03a4292b8c07f28d250d160