Logstash says:
[9021d8ae] PHP Fatal Error: Class undefined: MediaWikiServices MediaWiki or an installed extension requires this class but it is not embedded directly in MediaWiki's git repository and must be installed separately by the end user.
/srv/mediawiki/php-master/extensions/Thanks/includes/ThanksHooks.php
Line 104