[00:20:47] <wikibugs>	 10serviceops, 10MediaWiki-Vagrant: apt.wikimedia.org packages php and php7.2 point to different versions of PHP 7.2 - https://phabricator.wikimedia.org/T298326 (10Tgr) 05Open→03Declined With {T256822} this is not an issue for Vagrant anymore. Feel free to reopen if you want to investigate, although quite p...
[13:11:36] <wikibugs>	 10serviceops, 10MW-1.40-notes (1.40.0-wmf.7; 2022-10-24), 10PHP 7.4 support, 10Patch-For-Review, 10Platform Team Workboards (Clinic Duty Team): Rename articles and users to update our case mapping to PHP 7.4 and Unicode 11 - https://phabricator.wikimedia.org/T292552 (10IKhitron) Well, the script already...