Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  a537d79a5f15f9ea4f24905a6ae3dc01d856239d