2019-03-22 - production
14:34	<mutante>	scandium - apt-get remove --purge php* ; apt autoremove ; letting puppet reinstall php 7.2 one more time using mediawiki::profile::php now	[production]