On Tue, Sep 19, 2017 at 10:28 AM C. Scott Ananian <cananian(a)wikimedia.org>
wrote:
On Tue, Sep 19, 2017 at 1:17 PM, Chad
<innocentkiller(a)gmail.com> wrote:
be clear: we never chose HHVM for Hack. We
don't use Hack. The one
experiment I had at trying Hack never panned out. MediaWiki is in PHP,
not
Hack.
To be super clear: MediaWiki is in *PHP5*. The choices are:
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?
So we've got two backwards-incompatible choices to make, eventually.
I see everyone saying #1 for now and #2 down the road. You're the only one
here who seems to think #3 is even worth considering. The rest of us
have--rightly--dismissed it already.
-Chad