From 43a139b7eeb0e1423b5cf27e4c3a4ee2ec378c81 Mon Sep 17 00:00:00 2001
From: Wolfram Schneider <wosch@indexdata.dk>
Date: Fri, 12 Jul 2013 15:10:44 +0000
Subject: [PATCH] use minified version of jquery-ui

---
 examples/htdocs/index-popup.html |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/htdocs/index-popup.html b/examples/htdocs/index-popup.html
index 380753d..3adb9d7 100644
--- a/examples/htdocs/index-popup.html
+++ b/examples/htdocs/index-popup.html
@@ -18,7 +18,7 @@
     </script>
 
     <script type="text/javascript" src="http://code.jquery.com/jquery-1.10.0.min.js"></script>
-    <script src="http://code.jquery.com/ui/1.10.3/jquery-ui.js"></script>
+    <script src="http://code.jquery.com/ui/1.10.3/jquery-ui.min.js"></script>
     <!-- legacy libs for testing
     <script type="text/javascript" src="http://code.jquery.com/jquery-1.4.4.min.js"></script>
     <script src="http://code.jquery.com/ui/1.8.0/jquery-ui.min.js"></script>
-- 
1.7.10.4