2014-10-02 - production
20:46	<ori>	Synchronized php-1.24wmf22/extensions/NavigationTiming: Update NavigationTiming for cherry-picks (duration: 00m 03s)	[production]