gnuviechadmin-historic/php/usertypes.php

<?php

define("cUSRADMIN",255);
define("cUSRWEB",128);
define("cUSRMAIL",64);
define("cUSRNONE",0);

function get_usertype_name($usertype) {
  switch ($usertype) {
  case cUSRADMIN:
    return _("Administrator");
    break;
  case cUSRWEB:
    return _("Web user");
    break;
  case cUSRMAIL:
    return _("Mail user");
    break;
  case cUSRNONE:
  default:
    return _("Unknown user type");
  }
}
?>