Updated mediawiki/extensions
Project: mediawiki/extensions/WikibaseDatabase  884e552b46bcffd951c884a3fad1d041ab3f5023

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

Change-Id: I23d94c718121b934376415743b79a13008ded924