2020-08-11 - production
14:30	<hashar>	Cleaning old MediaWiki versions that were never removed	[production]