[09:52:33] <wikibugs>	 10serviceops, 10MediaWiki-General, 10MediaWiki-Stakeholders-Group, 10Release-Engineering-Team, and 4 others: Drop official PHP 7.2 support in MediaWiki 1.35 - https://phabricator.wikimedia.org/T257879 (10Jdforrester-WMF) 7.3.19 then? OK, patch coming up.
[18:33:51] <wikibugs>	 10serviceops, 10Operations, 10Wikimedia-production-error: PHP7 corruptions (Call on wrong object, Call to undefined method, etc.) - https://phabricator.wikimedia.org/T245183 (10Krinkle)
[18:34:17] <wikibugs>	 10serviceops, 10Operations, 10Wikimedia-production-error: PHP7 corruptions (Call on wrong object, Call to undefined method, etc.) - https://phabricator.wikimedia.org/T245183 (10Krinkle)
[18:38:14] <wikibugs>	 10serviceops, 10Operations, 10Wikimedia-production-error: PHP7 corruptions (Call on wrong object, Call to undefined method, etc.) - https://phabricator.wikimedia.org/T245183 (10Krinkle) Another corruption:  ` Uncaught Psr\Log\InvalidArgumentException: Level "400" is not defined, use one of: 0, 1, 2 in /srv/m...