On Tue, Sep 19, 2017 at 10:28 AM C. Scott Ananian <[email protected]> wrote:
> On Tue, Sep 19, 2017 at 1:17 PM, Chad <[email protected]> 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 _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
