2021-01-05 - releng
23:55	<dpifke>	Cherry-picking https://gerrit.wikimedia.org/r/c/operations/mediawiki-config/+/651267 and https://gerrit.wikimedia.org/r/c/operations/mediawiki-config/+/621095/3 in beta. Should be a no-op (removes hopefully unused code).	[releng]