Update SemanticMediaWiki.php
Merge branch 'master' of ssh://wmfgerrit/mediawiki/extensions/SemanticMediaWiki