2015-01-14 - releng
02:05	<bd808>	There is some kind of race / conflict with the mediawiki-extensions-hhvm; I cleaned up the same error for a different extension yesterday	[releng]