Change for updates to php-tester