3     public function usertime() {
  2         global $INFO;
  1         global $auth;
71          if(!($_SERVER['REMOTE_USER'] ?? false)) return 0;
  1         ...
  2     }