Make the User Timing API safe to use in MediaWiki
repeatedly ensure that the API exists by declaring a no-op stub for browsers
that don't implement it. Do it in the startup module so we can use
performance.mark() early. Add an initial performance.mark() call as a use-case.