Updated mediawiki/extensions
Project: mediawiki/extensions/WikibaseDatabase  08deab87712d1453ce264356014f88127357b9a7

Update TravisCi config to not mess up coverage report

Change-Id: If253ed6ffcd845106351bf8f4503af4aa1256693