Merge "startup.js: log current time as global 'mediaWikiLoadStart'"