ID, $permissionCode)) { header("WWW-Authenticate: Basic realm=\"$realm\""); header('HTTP/1.0 401 Unauthorized'); if(isset($_SERVER['PHP_AUTH_USER'])) { echo _t('BasicAuth.ERRORNOTADMIN', "That user is not an administrator."); } die(); } return $member; } static protected $disabled; static function disable() { self::$disabled = true; } }