diff options
author | Bartek IwaĆczuk <biwanczuk@gmail.com> | 2020-11-03 16:19:29 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-03 16:19:29 +0100 |
commit | 8e914be7420715620cad74fbb020c5e87ac875a2 (patch) | |
tree | 2fefc0111f85533de2bd24e54f70c6c1241e3d3b /std/node/timers.ts | |
parent | e736d0f60f6cdf38e2d317ee08a7125de9e57d69 (diff) |
build: migrate to dlint (#8176)
This commit migrates repository from using "eslint"
to "dlint" for linting JavaScript code.
Diffstat (limited to 'std/node/timers.ts')
-rw-r--r-- | std/node/timers.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/std/node/timers.ts b/std/node/timers.ts index 792e37581..872e1f9ae 100644 --- a/std/node/timers.ts +++ b/std/node/timers.ts @@ -6,9 +6,9 @@ export const clearTimeout = window.clearTimeout; export const setInterval = window.setInterval; export const clearInterval = window.clearInterval; export const setImmediate = ( - // eslint-disable-next-line @typescript-eslint/no-explicit-any + // deno-lint-ignore no-explicit-any cb: (...args: any[]) => void, - // eslint-disable-next-line @typescript-eslint/no-explicit-any + // deno-lint-ignore no-explicit-any ...args: any[] ): number => window.setTimeout(cb, 0, ...args); export const clearImmediate = window.clearTimeout; |