Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  3c7aaaa541cb1db6c0869d28b804ec5f42f30bd6

Minor coveralls.io coverage improvement

Change-Id: If12d30e1abc385f78f56080295551ceaf0a41cc4