2013-07-03 - production
14:05	<demon>	synchronized php-1.22wmf9/extensions/Wikibase/ 'Updating wikibase to 5a6511760562dc5b8fae033492af704599141640'	[production]