Merge pull request #1249 from bakkenbaeck/dev-tools-pages

Dev tools pages

1 files changed, 15 insertions, 0 deletions

diff --git a/packages/dev-tools-pages/ts/globals.d.ts b/packages/dev-tools-pages/ts/globals.d.ts
index d0890161c..bfe13ee71 100644
--- a/packages/dev-tools-pages/ts/globals.d.ts
+++ b/packages/dev-tools-pages/ts/globals.d.ts
@@ -1,5 +1,10 @@
 declare module 'whatwg-fetch';
 declare module 'react-document-title';
+declare module 'highlight.js/lib/highlight';
+declare module 'highlight.js/lib/languages/javascript';
+declare module 'highlight.js/lib/languages/json';
+
+declare var System: any;
 
 declare module '*.json' {
     const json: any;
@@ -7,3 +12,13 @@ declare module '*.json' {
     export default json;
     /* tslint:enable */
 }
+
+declare module '*.css' {
+    const css: any;
+    export default css;
+}
+
+declare module '*.svg' {
+    const svg: any;
+    export default svg;
+}