2019-10-03 - releng
20:57	<James_F>	Docker: Rename php to php70 and add intl	[releng]