On Mon, Oct 8, 2018 at 9:04 AM Kunal Mehta legoktm@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. :)