For anyone who isn't familiar https://github.com/DanielXMoore/Civet Porting to Civet would also mean adding TypeScript types.
For anyone who isn't familiar https://github.com/DanielXMoore/Civet
Porting to Civet would also mean adding TypeScript types.