<?php
/**
* Return an array of users
* @return array of users
*/
function _users() {
  $users = array();
  $result = db_query('SELECT * FROM {users}');
  while ($user = db_fetch_object($result)) {
    if($user->name) {
      $users["$user->uid"] = "$user->name";
    }
  }
  return $users;
}
?>