[09:01:29] <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 (10Legoktm) The `php` package is just a meta package that depends on `php7.2`, so its specific version shouldn't matter. When I ran `apt install php` o...
[18:53:19] <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) I could reproduce this on two different vagrant boxes; both are old enough that presumably at some point in their lifetime 7.2.16 was the up-to...