* tests/php/parsing/type_option.php: