amend whitespace added by GitHub inline editor

quisido · web-flow · commit 5778776a9df7 · 2026-01-09T16:42:48.000-08:00
diff --git a/src/lib/es5.d.ts b/src/lib/es5.d.ts
@@ -4581,4 +4581,3 @@ interface Date {
      */
     toLocaleTimeString(locales?: string | string[], options?: Intl.DateTimeFormatOptions): string;
 }
-

Original file line number	Diff line number	Diff line change
`@@ -4581,4 +4581,3 @@ interface Date {`
`4581`	`4581`	`*/`
`4582`	`4582`	`toLocaleTimeString(locales?: string \| string[], options?: Intl.DateTimeFormatOptions): string;`
`4583`	`4583`	`}`
`4584`		`-`