- deploy1001 has been installed to replace tin, running on debian stretch instead of jessie.
- One consequence of this change is that we now have only php7.0 and hhvm available for cli php scripts.
- hhvm is terribly slow for cli use (long startup time) so that leaves only php7.0
So l10nupdate is broken:
l10nupdate → foreachwiki → php5 (hard-coded)
Additionally, php7 uses a new version of libicu (57) while everywhere else in prod. we are using libicu 52. This could cause problems if some maintenance script is run from deploy1001 which uses libicu 57 in some incompatible way, potentially corrupting data.