Hi all I've just upgraded error reporting server (and GitHub hooks) to PHP 7. It should work just fine, but in case you spot something weird, please let me know. -- Michal Čihař | https://cihar.com/ | https://weblate.org/