2012-12-05 - production
19:15	<reedy>	synchronized php-1.21wmf5/extensions/Diff	[production]