2013-12-12 - production
21:31	<reedy>	synchronized php-1.23wmf7/extensions/Wikibase 'Fix scribunto integration'	[production]