Updated mediawiki/extensions
Project: mediawiki/extensions/NavigationTiming  e4f31fcf1d9897bd325a5206515d4eabd6ac1503

Round 'mediaWikiLoadComplete' to comply with schema

<https://meta.wikimedia.org/wiki/Schema:NavigationTiming> specifies that
mediaWikiLoadComplete should be an integer, so it should be rounded.

Change-Id: I4aa367e966d486bc4b2409c6348c3780fb80f719