PHP: Fix for PHP_API.