On Mon, Oct 8, 2018 at 9:04 AM Kunal Mehta <legoktm(a)member.fsf.org> wrote:
In preparation for Wikimedia production switching to
PHP 7.2, we need
to get CI running using 7.2 (and for the rest of the MediaWiki world
too!). But before we can do that, we'll need 7.1 to be passing first.
Did you mean 7.1 here instead of 7.2? If not, for the record, I had a
test at one point that was passing on 7.0 and 7.2 but not 7.1. So
this doesn't strictly speaking follow. :)