[14:27:13] <Krinkle>	 godog: Noticed a php7.2 mention in prod in PhpAutoPrepend, specifically https://github.com/wikimedia/operations-mediawiki-config/blob/297e8eed0e52dc3fbbd30ddad1698192b5c5e845/wmf-config/PhpAutoPrepend.php#LL26C12-L26C22. Best I can tell, this isn't directly relied upon anywhere, but curious if you know of anything. My understanding is based on this search 
[14:27:13] <Krinkle>	 https://codesearch-beta.wmcloud.org/search/?q=php7.2-fpm&files=&excludeFiles=_spec.rb%7C_test.yaml&repos= and for any patterns in https://github.com/wikimedia/puppet/tree/production/modules/profile/files/logstash/filters where the mediawiki filter doesn't seem to care about the appname at all (not even a wildcard pattern like php.*-fpm or some such)
[14:28:18] <Krinkle>	 dancy: based on the above code search, I noticed that there's a pipeline build labelled "production" in mediawiki/core.git still based on php7.2. Afaik we don't build our prod images from that pipeline. Is this used for anything? https://gerrit.wikimedia.org/g/mediawiki/core/+/1a03b63d3726b78b4d785914d8e76c8b67841fe3/.pipeline/blubber.yaml#14
[15:55:22] <dancy>	 Krinke: No that is not used and is slated for removal via https://gerrit.wikimedia.org/r/c/mediawiki/core/+/869239
[15:55:37] <dancy>	 Happy new year!
[17:30:33] <Krinkle>	 thx! Happy new year to you as well!