[03:18:25] <MaxSem>	 go PHP 7.3! https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/448845
[17:08:28] <Krinkle>	 MaxSem: Seems those (still on PHP) language files are ripe for conversion to static array files ?
[17:08:32] <Krinkle>	 That would make things a lot easier
[17:10:42] <Krinkle>	 << return [ ... ]; >> $vars = require '...... .php'; maybe with an intersection for sanity