Fix for #1604 (#1612)

Added explicit support for MPEG-DASH

Author: GrosPoulet

_locales/en/messages.json

@@ -256,7 +256,7 @@
         "description": "[options] Zoom videos option"
     },
     "optZoomVideosTooltip": {
-        "message": "Supported formats: 3gpp m4v mkv mp4 ogv webm",
+        "message": "Supported formats: 3gpp m4v mkv mp4 mpeg-dash ogv webm",
         "description": "[options] Tooltip for zoom videos option"
     },
     "optVideoPositionStep": {

html/options.html

@@ -763,6 +763,7 @@ <h1 class="ten columns text-center" data-i18n="optTitle"></h1>
                                         <div class="btn default badge format"><a href="https://wikipedia.org/wiki/M4V" target="_blank" rel="noopener noreferrer">M4V</a></div>
                                         <div class="btn default badge format"><a href="https://wikipedia.org/wiki/Matroska" target="_blank" rel="noopener noreferrer">MKV</a></div>
                                         <div class="btn default badge format"><a href="https://wikipedia.org/wiki/MPEG-4_Part_14" target="_blank" rel="noopener noreferrer">MP4</a></div>
+                                        <div class="btn default badge format"><a href="https://wikipedia.org/wiki/Dynamic_Adaptive_Streaming_over_HTTP" target="_blank" rel="noopener noreferrer">MPEG-DASH</a></div>
                                         <div class="btn default badge format"><a href="https://wikipedia.org/wiki/Theora" target="_blank" rel="noopener noreferrer">OGV</a></div>
                                         <div class="btn default badge format"><a href="https://wikipedia.org/wiki/WebM" target="_blank" rel="noopener noreferrer">WEBM</a></div>
                                     </div>

js/hoverzoom.js

@@ -635,9 +635,9 @@ var hoverZoom = {
             return (contentOverflows && overflowShown) || (alwaysShowScroll);
         }
 
-        const videoExtensions = new Set(['3gpp', 'm4v', 'mkv', 'mp4', 'ogv', 'webm']);
+        const videoExtensions = new Set(['3gpp', 'm4v', 'mkv', 'mp4', 'ogv', 'webm', 'm4s']);
         const videoExtensionsWithGif = new Set(['3gpp', 'gif', 'gifv', 'm4v', 'mkv', 'mp4', 'ogv', 'webm']);
-        const audioExtensions = new Set(['flac', 'm4a', 'mp3', 'oga', 'ogg', 'opus', 'wav']);
+        const audioExtensions = new Set(['flac', 'm4a', 'mp3', 'oga', 'ogg', 'opus', 'wav', 'm4s']);
 
         function isVideoLink(url, includeGifs = false) {
             if (url.indexOf('.video') !== -1)