Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  25a0bd030ec2fc9d753ab84b56d5103564ea7e4d

Improve code coverage

Change-Id: I665859553db834c086e8fcbc0e5290fa1bc304f6