Update video.js player to the latest built (7.17.0)
Closed, ResolvedPublic
Actions

Assigned To

Authored By

	Iniquity
	May 24 2021, 3:50 AM

Description

https://github.com/videojs/video.js/releases

Details

	Subject	Repo	Branch	Lines +/-
	Update videojs to 7.17.0	mediawiki/extensions/TimedMediaHandler	master	+522 -233

Customize query in gerrit

Event Timeline

Iniquity created this task.May 24 2021, 3:50 AM

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMay 24 2021, 3:50 AM

Iniquity renamed this task from Update video.js to the latest built (7.11.8) to Update video.js player to the latest built (7.11.8).May 24 2021, 3:51 AM

Its already at 7.14 now. I'll make a patch to bring it to 7.17

Change 752229 had a related patch set uploaded (by TheDJ; author: TheDJ):

[mediawiki/extensions/TimedMediaHandler@master] Update videojs to 7.17.0

https://gerrit.wikimedia.org/r/752229

gerritbot added a project: Patch-For-Review.Jan 7 2022, 11:11 PM

TheDJ renamed this task from Update video.js player to the latest built (7.11.8) to Update video.js player to the latest built (7.17.0).Jan 7 2022, 11:11 PM

TheDJ claimed this task.

TheDJ triaged this task as Low priority.

TheDJ moved this task from Backlog to Active on the VideoJS player board.Jan 8 2022, 12:17 AM

Change 752229 merged by jenkins-bot:

[mediawiki/extensions/TimedMediaHandler@master] Update videojs to 7.17.0

https://gerrit.wikimedia.org/r/752229

ReleaseTaggerBot added a project: MW-1.38-notes (1.38.0-wmf.17; 2022-01-10).Jan 11 2022, 1:00 AM

Maintenance_bot removed a project: Patch-For-Review.Jan 11 2022, 1:11 AM

TheDJ closed this task as Resolved.Jan 11 2022, 9:39 AM