2013-11-11 - production
19:56	<reedy>	synchronized php-1.23wmf3/extensions/Wikibase 'https://gerrit.wikimedia.org/r/94790'	[production]