On Mon, Oct 8, 2018 at 9:04 AM Kunal Mehta 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
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Hi,
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.
The following extensions are current
