From 273e0a822a2ea26196be080547ea5772652599ce Mon Sep 17 00:00:00 2001 From: Mark Nelson Date: Mon, 28 May 2018 16:43:57 +0800 Subject: [PATCH] MDL-62336 media_videojs: ensure videos have unique IDs --- media/player/videojs/classes/plugin.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/media/player/videojs/classes/plugin.php b/media/player/videojs/classes/plugin.php index 5315e502b2a..9386106f0ac 100644 --- a/media/player/videojs/classes/plugin.php +++ b/media/player/videojs/classes/plugin.php @@ -149,9 +149,10 @@ class media_videojs_plugin extends core_media_player_native { // which is BEFORE we have a chance to load any additional libraries (youtube). // The data-setup-lazy is just a tag name that video.js does not recognise so we can manually initialise // it when we are sure the dependencies are loaded. + static $playercounter = 1; $attributes = [ 'data-setup-lazy' => '{' . join(', ', $datasetup) . '}', - 'id' => 'id_videojs_' . uniqid(), + 'id' => 'id_videojs_' . uniqid() . '_' . $playercounter++, 'class' => get_config('media_videojs', $isaudio ? 'audiocssclass' : 'videocssclass') ];