Hi, users are reporting get this error
16:11:52 [Tue Jun 27 16:11:52 2017] [hphp] [1730:7f2529b12200:0:000001] [] 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
today.
Users have been reporting this in #wikimedia-releng and #wikimedia-operations.
See https://integration.wikimedia.org/ci/job/operations-mw-config-composer-hhvm-jessie/4282/console