2013-11-04 - production
22:17	<mwalker>	synchronized php-1.23wmf2/resources/mediawiki/mediawiki.inspect.js 'Pushing https://gerrit.wikimedia.org/r/#/c/93587/'	[production]