2019-06-18 - releng
20:24	<hashar>	Switching jobs to SRE php7.2 package # T226028 https://gerrit.wikimedia.org/r/#/c/integration/config/+/517733/	[releng]