merged with new master

1 files changed, 5 insertions, 5 deletions

diff --git a/deploy/loader.js b/deploy/loader.js
index 0be421e14..b3508c5c6 100644
--- a/deploy/loader.js
+++ b/deploy/loader.js
@@ -1,8 +1,8 @@
 function getCookie(cname) {
-    var name = cname + "=";
-    var ca = document.cookie.split(';');
-    for (var i = 0; i < ca.length; i++) {
-        var c = ca[i];
+    let name = cname + '=';
+    let ca = document.cookie.split(';');
+    for (let i = 0; i < ca.length; i++) {
+        let c = ca[i];
         while (c.charAt(0) == ' ') {
             c = c.substring(1);
         }
@@ -11,4 +11,4 @@ function getCookie(cname) {
         }
     }
     return 3000;
-} 
\ No newline at end of file
+}