On Tue, Sep 19, 2017 at 10:28 AM C. Scott Ananian cananian@wikimedia.org wrote:
On Tue, Sep 19, 2017 at 1:17 PM, Chad innocentkiller@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:
- MediaWiki will always be in PHP5.
- MediaWiki will eventually migrate to PHP7, or
- 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