From 57adcc2dd6369591727f6360645dab27a9931bbe Mon Sep 17 00:00:00 2001
From: Manuel Knitza <manuel.knitza@uni.kn>
Date: Sat, 2 Feb 2013 02:23:53 +0100
Subject: [PATCH] Update bin/installDeps.sh

Changed jquery version from 1.7.1 to 1.8.3 which seemed to work without problems in my tests.
Strangely every 1.8.x version above 1.8.3 fails, as well as every 1.7.x version above 1.7.2...
---
 bin/installDeps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/installDeps.sh b/bin/installDeps.sh
index 6f5c732cd..96548d854 100755
--- a/bin/installDeps.sh
+++ b/bin/installDeps.sh
@@ -77,7 +77,7 @@ echo "Ensure that all dependencies are up to date..."
 
 echo "Ensure jQuery is downloaded and up to date..."
 DOWNLOAD_JQUERY="true"
-NEEDED_VERSION="1.7.1"
+NEEDED_VERSION="1.8.3"
 if [ -f "src/static/js/jquery.js" ]; then
   if [ $(uname) = "SunOS" ]; then
     VERSION=$(cat src/static/js/jquery.js | head -n 3 | ggrep -o "v[0-9]\.[0-9]\(\.[0-9]\)\?");