php 8.1 - readonly properties

[driade]

class User {
    public readonly int $uid;
}

becomes

class User
{
    readonlypublic int $uid;
}