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 _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
