Update to mediawiki 1.24

2014-12-05 08:49:05 -06:00
parent 236a2b2a44
commit 14aab38a51
2 changed files with 22 additions and 18 deletions
--- a/add_extension.sh
+++ b/add_extension.sh
@@ -1,7 +1,9 @@
 #!/bin/bash

 EXT_NAME=$1
+EXT_VERSION=$2
+
 cd /app/extensions
 git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/$1
 cd $1
-git checkout -b REL1_23 origin/REL1_23
+git checkout -b $2 origin/$2