Updated mediawiki/extensions
Project: mediawiki/extensions/NavigationTiming  d3297a47f38e0732d410abdd874e209995b7f84d

Update schema revision to 10076863, adding 'runtime'

Update schema revision to 10076863, adding 'runtime' property, which tracks
whether the backend used to generate the page was PHP5 or HHVM.

Change-Id: I85a7327db2ca7749b77c9819ea45d337168bb62a