2020-05-12 - releng
20:10	<cdanis>	reverting to standard php7.2-fpm on deployment-mediawiki-07	[releng]