2019-11-13 - production
11:56	<effie>	Upgrade to php 7.2.24-1 mediawiki eqiad hosts and restart php-fpm - T237239	[production]