VID-727: Add server error warning

amd/src/videotime.js

@@ -374,7 +374,13 @@ define([
     VideoTime.prototype.setCurrentTime = function(sessionId, currentTime) {
         return Ajax.call([{
             methodname: 'videotimeplugin_pro_set_session_current_time',
-            args: {"session_id": sessionId, "current_time": currentTime}
+            args: {"session_id": sessionId, "current_time": currentTime},
+            fail: function(e) {
+                Log.debug(e);
+                document.querySelectorAll('.videotime-server-error').forEach(warning => {
+                    warning.classList.remove('hidden');
+                });
+            }
         }])[0];
     };
 

lang/en/videotime.php

@@ -231,6 +231,7 @@
 $string['search:texttrack'] = 'VideoTime - text track information';
 $string['search_help'] = 'Search name, description, albums, tags...';
 $string['seconds'] = 'Seconds';
+$string['servererror'] = 'There is a server connection problem. Time may not be tracked properly.';
 $string['session_not_found'] = 'User session not found.';
 $string['set_client_id_and_secret'] = 'Set Client ID and Secret';
 $string['settings'] = 'Video Time settings';

templates/videotime_instance.mustache

@@ -46,6 +46,9 @@
     <div id="next-activity-button">
         {{{next_activity_button_html}}}
     </div>
+    <div class="videotime-server-error alert alert-warning alert-block fade in alert-dismissible hidden">
+        {{# str }} servererror, videotime {{/ str }}
+    </div>
 
     {{^tabshtml}}
         {{> mod_videotime/vimeo_embed }}

version.php

@@ -25,7 +25,7 @@
 defined('MOODLE_INTERNAL') || die();
 
 $plugin->component = 'mod_videotime';
-$plugin->release = '1.5.5';
-$plugin->version = 2022091405;
+$plugin->release = '1.5.7';
+$plugin->version = 2022091406;
 $plugin->requires = 2015111610;
 $plugin->maturity = MATURITY_STABLE;