2014-10-02 - production
20:44	<ori>	Synchronized php-1.25wmf1/extensions/NavigationTiming: Update NavigationTiming for cherry-picks (duration: 00m 04s)	[production]