[10:41:28] 10serviceops, 10Operations, 10User-jijiki: Ramp up percentage of users on php7.2 to 100% on both API and appserver clusters - https://phabricator.wikimedia.org/T219150 (10jijiki) [12:44:00] 10serviceops, 10Operations, 10Release Pipeline, 10Release-Engineering-Team, and 5 others: Introduce wikidata termbox SSR to kubernetes - https://phabricator.wikimedia.org/T220402 (10Tarrow) @akosiaris and @WMDE-leszek I think the needed changes to proceed with the helm chart are now done. Feel free to poke... [13:39:18] 10serviceops, 10Operations, 10Wikimedia-production-error: PHP Fatal Errors on mw1275 after deployment - https://phabricator.wikimedia.org/T222452 (10jijiki) [13:39:29] 10serviceops, 10Operations, 10Wikimedia-production-error: PHP Fatal Errors on mw1275 after deployment - https://phabricator.wikimedia.org/T222452 (10jijiki) p:05Triage→03Normal [14:13:04] 10serviceops, 10Operations, 10Wikimedia-production-error: PHP Fatal Errors on mw1275 after deployment - https://phabricator.wikimedia.org/T222452 (10Reedy) [14:17:48] 10serviceops, 10Operations, 10Wikimedia-production-error: PHP Fatal Errors on mw1275 after deployment - https://phabricator.wikimedia.org/T222452 (10Lucas_Werkmeister_WMDE) That deployment (fixing T222347) was a backport ([I3e4bf4b12d](https://gerrit.wikimedia.org/r/507847)), which I force-submitted because... [14:19:54] 10serviceops, 10Operations, 10Wikimedia-production-error: PHP Fatal Errors on mw1275 after deployment - https://phabricator.wikimedia.org/T222452 (10jijiki) @Lucas_Werkmeister_WMDE We will look into it, it only happened on a single server so we believe, for now, that it could not be related to the change pe... [14:55:43] 10serviceops, 10Operations, 10Wikimedia-production-error: PHP Fatal Errors on mw1275 after deployment - https://phabricator.wikimedia.org/T222452 (10Joe) some things from my very initial analysis: - I tried to purge first the directory that the deployment had invalidated, the error didn't go away - I tried p... [16:07:27] 10serviceops, 10Wikimedia-Site-requests, 10Patch-For-Review, 10Performance-Team (Radar): Enlarging the default thumb size on Dutch Wikipedia - https://phabricator.wikimedia.org/T215106 (10Ciell) @Krinkle I asked for bot-assistence on the Dutch wiki for this task. Feel free to weigh in. [[ https://nl.wikipe... [16:15:29] 10serviceops, 10Wikimedia-Site-requests, 10Patch-For-Review, 10Performance-Team (Radar): Enlarging the default thumb size on Dutch Wikipedia - https://phabricator.wikimedia.org/T215106 (10Bdijkstra) Why not use 320px for thumb sizes ≤320px and let the browser do the scaling? I normally work at a browser zo... [17:17:11] 10serviceops, 10Wikimedia-Site-requests, 10Patch-For-Review, 10Performance-Team (Radar): Enlarging the default thumb size on Dutch Wikipedia - https://phabricator.wikimedia.org/T215106 (10Akoopal) How long are thumbs cached? Instead of changing all the pages, isn't it easier to just harvest all the images... [20:26:38] 10serviceops, 10Gerrit, 10Operations, 10ops-eqiad, 10Release-Engineering-Team (Watching / External): Gerrit Hardware Upgrade - https://phabricator.wikimedia.org/T222391 (10Dzahn) a:03Dzahn