Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  5a9fd575ba335bf7b622fbc8cc0e2c6531e4cea8