<?php

enum Foo {
    public string $name;
}

?>