Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  f1c501d0bb5aa34bf3ee32398833edb7cf0d42a3