2019-09-17 - releng
09:15	<hashar>	On doxygen jobs, change container to use php7.2 instead of php7.0	[releng]