page params: Add narrow attribute.

This commit is contained in:
evykassirer 2023-12-21 21:14:53 -08:00 committed by Anders Kaseorg
parent 0f1fa8e159
commit b7a28f1630
2 changed files with 3 additions and 1 deletions

View File

@ -233,7 +233,7 @@ function message_matches_search_term(message: Message, operator: string, operand
return true; // unknown operators return true (effectively ignored) return true; // unknown operators return true (effectively ignored)
} }
type Term = { export type Term = {
negated?: boolean; negated?: boolean;
operator: string; operator: string;
operand: string; operand: string;

View File

@ -1,5 +1,6 @@
import $ from "jquery"; import $ from "jquery";
import type {Term} from "./filter";
import type {GroupPermissionSetting} from "./types"; import type {GroupPermissionSetting} from "./types";
const t1 = performance.now(); const t1 = performance.now();
@ -42,6 +43,7 @@ export const page_params: {
max_logo_file_size_mib: number; max_logo_file_size_mib: number;
muted_users: {id: number; timestamp: number}[]; muted_users: {id: number; timestamp: number}[];
narrow_stream?: string; narrow_stream?: string;
narrow: Term[];
needs_tutorial: boolean; needs_tutorial: boolean;
page_load_time: number; page_load_time: number;
promote_sponsoring_zulip: boolean; promote_sponsoring_zulip: boolean;