2018-12-12 - releng
21:50	<Hauskatze>	github: deleting https://github.com/wikimedia/mediawiki-extensions-ConditionalShowSection | refs. T211821	[releng]