Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  080fc5f6d1b50394f31d79f31b5752ddf04393bb