Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  71a075f9fdfdd9cb3a26ab7485a295b796276afb