Hi,
On 09/19/2017 10:27 AM, C. Scott Ananian wrote:
To be super clear: MediaWiki is in *PHP5*. The
choices are:
Well, kind of. MediaWiki has full support for PHP 7 while still
maintaining PHP 5 support.
1) MediaWiki will always be in PHP5.
2) MediaWiki will eventually migrate to PHP7, or
3) MediaWiki will eventually migrate to Hack.
Is anyone arguing for #1?
I don't think anyone has argued for anything besides #2.
So we've got two backwards-incompatible choices to
make, eventually.
There's already an open RfC[1] about bumping the minimum PHP requirement
to 7.x.
[1]
https://phabricator.wikimedia.org/T172165
-- Legoktm