diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2023-11-27 19:33:01 -0500 |
|---|---|---|
| committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2023-11-27 19:33:01 -0500 |
| commit | 14d12f6ba20b837a04c638b935773f3120e194ff (patch) | |
| tree | dcd6b61d51ff39c97b60812b2bf3c8cd564347f8 /dev | |
| parent | d5b1217df3fe7480fc5f58fe194f5bbf73281094 (diff) | |
Update timer types and such
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/jsconfig.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/jsconfig.json b/dev/jsconfig.json index 518f97ad..d4efe694 100644 --- a/dev/jsconfig.json +++ b/dev/jsconfig.json @@ -71,7 +71,7 @@ "../ext/js/language/translator.js", "../ext/js/media/media-util.js", "../types/dev/**/*.ts", - "../types/other/web-set-timeout.d.ts" + "../types/other/globals.d.ts" ], "exclude": [ "../node_modules" |