2013-12-03 - production
19:35	<reedy>	synchronized php-1.23wmf5/extensions/Wikibase	[production]