Merge pull request #3871 from WoltLab/devtools_project_typescript
authorMatthias Schmidt <gravatronics@live.com>
Fri, 15 Jan 2021 08:35:36 +0000 (09:35 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Jan 2021 08:35:36 +0000 (09:35 +0100)
Convert devtools project JavaScript code to TypeScript


Trivial merge