Updated mediawiki/extensions
Project: mediawiki/extensions/DataTypes  7bb4546212f216a3aa6d5102461bbdcf113c5507

Add files with no coverage at all to the coverage report as well

Change-Id: Ia55c80e5131cfb961c8d11ca77784394f35e514a