typo in mediawiki-core-code-coverage

Change-Id: I3b0077322d0e1fc133449c945069a59742de4b11