Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  d37276a6b54efcd2d30ec9c9bd6369850137245e

Some renaming

Change-Id: Ifa490815ee9fe23fa8c20f54f307455cfb02381b