Hey,
Going with option 2 would be a rather big f***-*** to the non-WMF part of
the MediaWiki community. Furthermore, it would limit usage of common PHP
libraries, which sooner or later will end up using features not available
in HHVM. This, together with the already outlined reasons, makes me concur
with HHVM not being a viable long term option.
If only WMF was running PHP 7.1 already... guess I'll have more luck asking
for a pony though :)
Cheers
--
Jeroen De Dauw |
https://entropywins.wtf |
https://keybase.io/jeroendedauw
Software craftsmanship advocate
~=[,,_,,]:3