https://integration.wikimedia.org/ci/job/mediawiki-extensions-hhvm-jessie/16610/console
+ /srv/deployment/integration/slave-scripts/bin/mw-install-mysql.sh 00:01:16.182 [Tue Jun 27 15:16:37 2017] [hphp] [2066:7fb901ddb200:0:000002] [] Uncaught exception: Could not open extension /usr/lib/x86_64-linux-gnu/hhvm/extensions/20150212/tidy.so: /usr/lib/x86_64-linux-gnu/hhvm/extensions/20150212/tidy.so: cannot open shared object file: No such file or directory