Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticInternalObjects  571aa7b9c0b7e55a899d44a07f13cb14cfc9018d
null
New version: 0.7.2

Change-Id: Idf110a1fda7593374287dc361df75781c7b59afc