A workaround for the missing php enum type