```
tgr@deployment-fluorine02:~$ curl -vso/dev/null -H 'Host: meta.wikimedia.beta.wmflabs.org' 'http://deployment-mediawiki04.deployment-prep.eqiad.wmflabs/w/index.php?title=Stewards/fr&action=history' |& grep '< HTTP'
< HTTP/1.1 200 OK
tgr@deployment-fluorine02:~$ curl -vso/dev/null -H 'Host: meta.wikimedia.beta.wmflabs.org' -H 'Cookie: centralauth_User=Tgr; centralauth_Token=<token>' 'http://deployment-mediawiki04.deployment-prep.eqiad.wmflabs/w/index.php?title=Stewards/fr' |& grep '< HTTP'
< HTTP/1.1 200 OK
tgr@deployment-fluorine02:~$ curl -vso/dev/null -H 'Host: meta.wikimedia.beta.wmflabs.org' -H 'Cookie: centralauth_User=Tgr; centralauth_Token=<token>; ' 'http://deployment-mediawiki04.deployment-prep.eqiad.wmflabs/w/index.php?title=Stewards/fr&action=history' |& grep '< HTTP'
< HTTP/1.1 500 Internal Server Error
```
The relevant error seems to be
```
Feb 1 07:01:35 deployment-mediawiki04 hhvm: #012Fatal error: Class undefined: MediaWikiServices in /srv/mediawiki/php-master/extensions/Thanks/includes/ThanksHooks.php on line 104
```