Dmitrii Filippov 4457ae1e6c Convert some .js files to typescript ...

* Rename some .js files to .ts
* Add minor fixes for eslint problems
* Add "export {};" line to files without imports and exports to mark
  them as modules
* Updates server.go to handle imports without file extension correctly.

Change-Id: I4d4f1eaa689c6f351e64a2c3cfa4e8ac2d2e1f73

2020-07-15 10:21:14 +00:00

..

gr-syntax-theme.ts

Convert some .js files to typescript

2020-07-15 10:21:14 +00:00