RelatedConstants.php

// :(

<?php
class Company {
    public const WorkerEmployeeType = 0;
    public const SupervisorEmployeeType = 1;
    public const ManagerEmployeeType = 2;
    
    // more code...
}

////////////////////////////////////////

// :)

class EmployeeType {
    public const Worker = 0;
    public const Supervisor = 1;
    public const Manager = 2;
}

// :) :) from php 8.1 

enum EmployeeType: int {
    case Worker = 0;
    case Supervisor = 1;
    case Manager = 2;
}