From 791ae1a2677a217c59b0b6a4ad17636bb6bd1c38 Mon Sep 17 00:00:00 2001 From: Grzegorz Blaszczyk Date: Thu, 9 Aug 2018 23:39:49 +0200 Subject: [PATCH 1/2] Adds player ended method --- types/video.js/index.d.ts | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/types/video.js/index.d.ts b/types/video.js/index.d.ts index 8ac320d190..df7b35ee2b 100644 --- a/types/video.js/index.d.ts +++ b/types/video.js/index.d.ts @@ -4054,6 +4054,20 @@ declare namespace videojs { */ getVideoPlaybackQuality(): any; + /** + * Get the value of `ended` from the media element. `ended` indicates whether + * the media has reached the end or not. + * + * @method Html5#ended + * @return {boolean} + * - The value of `ended` from the media element. + * - True indicates that the media has ended. + * - False indicates that the media has not ended. + * + * @see [Spec]{@link https://www.w3.org/TR/html5/embedded-content-0.html#dom-media-ended} + */ + ended(): boolean; + /** * When fullscreen isn't supported we can stretch the * video container to as wide as the browser will let us. From bcb52cb2b9ec05c3087c9796692fc04ee60aea4c Mon Sep 17 00:00:00 2001 From: Grzegorz Blaszczyk Date: Thu, 9 Aug 2018 23:51:36 +0200 Subject: [PATCH 2/2] fixes some lint errors. --- types/video.js/index.d.ts | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/types/video.js/index.d.ts b/types/video.js/index.d.ts index df7b35ee2b..0deb3d5a68 100644 --- a/types/video.js/index.d.ts +++ b/types/video.js/index.d.ts @@ -4058,9 +4058,7 @@ declare namespace videojs { * Get the value of `ended` from the media element. `ended` indicates whether * the media has reached the end or not. * - * @method Html5#ended - * @return {boolean} - * - The value of `ended` from the media element. + * @return - The value of `ended` from the media element. * - True indicates that the media has ended. * - False indicates that the media has not ended. *