Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  ef5bced1a72c1c6e82d50e92399a069be25cb185