Update example-php-eval.php