2019-02-08 - production
15:31	<_joe_>	upgraded all php extensions to php 7.2 compatible versions on mwmaint1002	[production]