From d6d50df2ae0b890429de1fe710edc51ebf3c4436 Mon Sep 17 00:00:00 2001
From: Christoph Wagner <campus@zumcampus.de>
Date: Sat, 9 Dec 2017 00:31:31 +0100
Subject: [PATCH] Added missing "plugins" member for video.js PlayerOptions

This is documented for step 3 on http://docs.videojs.com/docs/guides/plugins.html
---
 types/video.js/index.d.ts | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/types/video.js/index.d.ts b/types/video.js/index.d.ts
index 1801f69ab4..cde81fbe46 100644
--- a/types/video.js/index.d.ts
+++ b/types/video.js/index.d.ts
@@ -3,6 +3,7 @@
 // Definitions by: Vincent Bortone <https://github.com/vbortone>
 //                 Simon Clériot <https://github.com/scleriot>
 //                 Sean Bennett <https://github.com/SWBennett06>
+//                 Christoph Wagner <https://github.com/IgelCampus>
 // Definitions: https://github.com/DefinitelyTyped/DefinitelyTyped
 
 // The Video.js API allows you to interact with the video through
@@ -33,6 +34,7 @@ declare namespace videojs {
 		fluid?: boolean;
 		language?: string;
 		notSupportedMessage?: string;
+		plugins?: any;
 	}
 
 	interface Source {