Convert to TypeScript: src/extensions/ #209
Description
- TypeScript: convert some extensions files #286: Convert some extensions files
- TypeScript: convert QuickOpen extensions files #287: Convert QuickOpen extensions files
- TypeScript: convert JavaScript QuickEdit and Refactoring extensions files #289: Convert JavaScript QuickEdit and Refactoring extensions files
- TypeScript: convert some other extensions files #291: Convert some other extensions files
- TypeScript: convert inline extensions files #292: Convert inline extensions files
- TypeScript: convert CodeFolding extensions files #303: Convert CodeFolding extensions files
- TypeScript: convert NavigationAndHistory extension files #315: Convert NavigationAndHistory extension files
- TypeScript: convert MDNDocs extension files #316: Convert MDNDocs extension files
- TypeScript: convert JavaScriptCodeHints extension files #318: Convert JavaScriptCodeHints extension files