From 507d8b07b457c076028e0fbcf2858c323f3400c6 Mon Sep 17 00:00:00 2001
From: Tanguy Krotoff <tkrotoff@gmail.com>
Date: Sat, 21 Nov 2015 15:33:37 +0100
Subject: [PATCH] Fix karma-coverage definition

---
 karma-coverage/karma-coverage-tests.ts |  2 +-
 karma-coverage/karma-coverage.d.ts     | 22 ++++++++++++++++++----
 2 files changed, 19 insertions(+), 5 deletions(-)

diff --git a/karma-coverage/karma-coverage-tests.ts b/karma-coverage/karma-coverage-tests.ts
index f4bd45f77..8ca9edc63 100644
--- a/karma-coverage/karma-coverage-tests.ts
+++ b/karma-coverage/karma-coverage-tests.ts
@@ -1,6 +1,6 @@
 /// <reference path="karma-coverage.d.ts" />
 
-import karma = require('karma');
+import * as karma from 'karma-coverage';
 
 
 // See https://github.com/karma-runner/karma-coverage/blob/v0.5.3/README.md#basic
diff --git a/karma-coverage/karma-coverage.d.ts b/karma-coverage/karma-coverage.d.ts
index 07df06105..7b78a36de 100644
--- a/karma-coverage/karma-coverage.d.ts
+++ b/karma-coverage/karma-coverage.d.ts
@@ -4,10 +4,20 @@
 // Definitions: https://github.com/borisyankov/DefinitelyTyped
 
 /// <reference path="../karma/karma.d.ts" />
+/// <reference path="../istanbul/istanbul.d.ts" />
 
-declare module 'karma' {
-  namespace karma {
-    interface ConfigOptions {
+declare module 'karma-coverage' {
+  import * as karma from 'karma';
+  import * as istanbul from 'istanbul';
+
+  namespace karmaCoverage {
+    interface Karma extends karma.Karma {}
+
+    interface Config extends karma.Config {
+      set: (config: ConfigOptions) => void;
+    }
+
+    interface ConfigOptions extends karma.ConfigOptions {
       /**
        * See https://github.com/karma-runner/karma-coverage/blob/master/docs/configuration.md
        */
@@ -21,8 +31,12 @@ declare module 'karma' {
       check?: any;
       watermarks?: any;
       includeAllSources?: boolean;
-      sourceStore?: any; // Should be istanbul.Store
+      sourceStore?: istanbul.Store;
       instrumenter?: any;
     }
   }
+
+  var karmaCoverage: karmaCoverage.Karma;
+
+  export = karmaCoverage;
 }