2019-09-17 - releng
09:24	<hashar>	Manually triggered https://integration.wikimedia.org/ci/job/mediawiki-core-doxygen-docker/9920/ (switch to php7.2)	[releng]