More php-src tests