2020-02-21 - releng
19:38	<thcipriani>	remove a bunch of extensions from beta that were on disk but not in https://gerrit.wikimedia.org/rg/mediawiki/extensions/	[releng]