From 2ff408fb954d5dee3445c7e8cd4fb9ea06fa27f6 Mon Sep 17 00:00:00 2001
From: Wesley Wigham <t-weswig@microsoft.com>
Date: Tue, 14 Jun 2016 14:51:30 -0700
Subject: [PATCH] Add local patch for gulp-typescript types

---
 Gulpfile.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Gulpfile.ts b/Gulpfile.ts
index 448d7307f61..1770911a0c4 100644
--- a/Gulpfile.ts
+++ b/Gulpfile.ts
@@ -14,6 +14,7 @@ declare module "gulp-typescript" {
         stripInternal?: boolean;
         newLine?: number;
     }
+    interface CompileStream extends NodeJS.ReadWriteStream {} // Either gulp or gulp-typescript has some odd typings which don't reflect reality, making this required
 }
 import * as insert from "gulp-insert";
 import * as sourcemaps from "gulp-sourcemaps";