2014-02-13 - production
23:33	<ori>	synchronized php-1.23wmf13/extensions/NavigationTiming 'Update NavigationTiming to master for Ic0c9060c5: Don't log 'desktop-beta' as mobileMode'	[production]