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)
commit5168ee5ffbb5056dec704795fdc83816308f9fa8
treededd8bb93a3c4545dbea7309eb48db40f01fa653
parentceccaf4c374be6f4d8b436130ffbe11bef7f434e
parent03715ad3f325ffceb1b9beaf56447949a2fd9b52
Merge pull request #3871 from WoltLab/devtools_project_typescript

Convert devtools project JavaScript code to TypeScript