From 45f46b61cfff466f50472c11f3d58839402d546a Mon Sep 17 00:00:00 2001
From: Elena.Budnik <ebudnik@irap.omp.eu>
Date: Fri, 27 May 2016 15:56:23 +0200
Subject: [PATCH] ext-all.js

---
 desktop.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/desktop.php b/desktop.php
index 47ee6b3..30624c5 100644
--- a/desktop.php
+++ b/desktop.php
@@ -43,8 +43,8 @@
     
 <!--     <script type="text/javascript" src="js/lib/ext/builds/ext-core.js"></script> -->
 <!--     <script type="text/javascript" src="js/lib/ext/bootstrap.js"></script> -->
-    <script type="text/javascript" src="js/lib/ext/ext-all-debug-w-comments.js"></script> 
-<!-- 	<script type="text/javascript" src="js/lib/ext/ext-all.js"></script>  -->
+<!--    <script type="text/javascript" src="js/lib/ext/ext-all-debug-w-comments.js"></script>--> 
+	<script type="text/javascript" src="js/lib/ext/ext-all.js"></script>   
 <!--	<script type="text/javascript" src="js/lib/ext/ext-all-dev.js"> -->
     <script type="text/javascript" src="js/lib/ext-override.js"></script>
 
@@ -105,7 +105,7 @@
         var isGuest = sessionID.match('guest');
 
         var guestSessionDuration = '<?php echo GuestSessionDuration*60; ?>'; // in secs
-        var maxGuestTimeInterval = '<?php echo MaxGuestTimeInterval; ?>'; // in days
+        var maxGuestTimeInterval = '<?php echo MaxGuestTimeInterval; ?>';    // in days
  
         //create mask class (LoadMask for elements has been deprecated, use Ext.dom.Element.mask & Ext.dom.Element.unmask)
         var AMDAMask = new Ext.Class({
--
libgit2 0.21.2