2013-11-05 - releng
16:16	<hashar>	fixed up mediawiki/extensions.git which still add the deleted extension WikibaseDatabase . That has been blocking code update since Oct 30th.	[releng]