2019-03-01 - production
06:40	<_joe_>	upgrading php extensions on deploy* to versions compatible with php7.2	[production]