13.4.8 release

ChangeLog

@@ -1,3 +1,7 @@
+19-JUL-2020: 13.4.8
+
+- Fixes SHA for inline script
+
 19-JUL-2020: 13.4.7
 
 - Improves target detection for blue arrows

VERSION

@@ -1 +1 @@
-13.4.7
+13.4.8

src/main/webapp/index.html

@@ -250,7 +250,6 @@
 
 			var geBasePath = mxDevUrl + '/javascript/examples/grapheditor/www/js';
 			var mxBasePath = mxDevUrl + '/javascript/src';
-			var mxLoadStylesheets = navigator.appName.toUpperCase() == 'MICROSOFT INTERNET EXPLORER';
 			
 			mxscript(drawDevUrl + 'js/PreConfig.js');
 			mxscript(drawDevUrl + 'js/diagramly/Init.js');

src/main/webapp/js/diagramly/Init.js

@@ -12,6 +12,9 @@ window.isLocalStorage = window.isLocalStorage || false;
 // Disables loading settings in configured mode
 window.mxLoadSettings = window.mxLoadSettings || urlParams['configure'] != '1';
 
+// Loading stylesheets in index.html is faster
+mxLoadStylesheets = navigator.appName.toUpperCase() == 'MICROSOFT INTERNET EXPLORER';
+
 // Checks for SVG support
 window.isSvgBrowser = window.isSvgBrowser || navigator.userAgent == null ||
 	navigator.userAgent.indexOf('MSIE') < 0 || document.documentMode >= 9;

src/main/webapp/service-worker.js

@@ -6,7 +6,7 @@ if (workbox)
 	workbox.precaching.precacheAndRoute([
   {
     "url": "js/app.min.js",
-    "revision": "4c716709a291d42bf392b525ba02e30c"
+    "revision": "d90601480a4fac030dbc8a9b020a687c"
   },
   {
     "url": "js/extensions.min.js",
@@ -26,7 +26,7 @@ if (workbox)
   },
   {
     "url": "index.html",
-    "revision": "eeb6d984e4e11ba3f13ff25098546bb7"
+    "revision": "6fd128384a51dcce8da696c90bb8969a"
   },
   {
     "url": "open.html",