2013-11-04 - production
23:24	<ori>	synchronized php-1.23wmf2/resources/mediawiki/mediawiki.inspect.js 'Ib2252003f2: mediawiki.inspect#dumpTable: fix broken FF workaround'	[production]