From 79c24932234e8e9ebb075b4c1a295516849087a8 Mon Sep 17 00:00:00 2001 From: overlookmotel <557937+overlookmotel@users.noreply.github.com> Date: Wed, 21 Aug 2024 00:19:59 +0000 Subject: [PATCH] refactor(website): rename fields in Playground from `flag` to `flags` (#5033) Part of #4991. --- website/playground/symbols.ts | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/website/playground/symbols.ts b/website/playground/symbols.ts index d65f7931fb77b..1b0b0e3dbf894 100644 --- a/website/playground/symbols.ts +++ b/website/playground/symbols.ts @@ -4,7 +4,7 @@ type Span = { start: number; end: number } type RenderedSymbol = { name: string - flag: string + flags: string symbolId: number nodeId: number span: Span @@ -14,7 +14,7 @@ type RenderedSymbol = { name: string nodeId: number symbolId: number | null - flag: string + flags: string }> } @@ -31,7 +31,7 @@ export const renderSymbols = (symbols: SymbolTable): string => { (acc, nodeId, index) => { acc.push({ name: symbols.names[index], - flag: symbols.flags[index], + flags: symbols.flags[index], symbolId: index, nodeId, span: symbols.spans[index],