Use stable version of php-to-string