[07:49:21] 10serviceops, 10Operations, 10Traffic, 10Patch-For-Review: Applayer services without TLS - https://phabricator.wikimedia.org/T210411 (10Dzahn) [07:50:24] 10serviceops, 10Operations, 10Traffic, 10Patch-For-Review: Applayer services without TLS - https://phabricator.wikimedia.org/T210411 (10Dzahn) [07:51:26] 10serviceops, 10Operations, 10Traffic, 10Patch-For-Review: Applayer services without TLS - https://phabricator.wikimedia.org/T210411 (10Dzahn) - releases.wikimedia.org switched to TLS - releases-jenkins remains todo - parsoid-vd / parsoid-rt tests on ruthenium - directors and DNS records removed - users wi... [17:42:04] Hey glorious ServiceOpers, we're about to bump MediaWiki's required PHP version from 7.0.x to 7.2.x. We currently require 7.0.13 not 7.0.0 due to known issues in PHP 7.0; are there known issues with earlier releases of 7.2.x so we should require a higher version? I see that we're running 7.2.22 in prod, is that just "latest and greatest" or "known issues"?