Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  ba08417d3576b8c57ab100d80595e7f76828e77b