diff options
Diffstat (limited to 'www/wiki/extensions/UniversalLanguageSelector/scripts/update-jquery-uls.sh')
| -rwxr-xr-x | www/wiki/extensions/UniversalLanguageSelector/scripts/update-jquery-uls.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/www/wiki/extensions/UniversalLanguageSelector/scripts/update-jquery-uls.sh b/www/wiki/extensions/UniversalLanguageSelector/scripts/update-jquery-uls.sh new file mode 100755 index 00000000..06dcf855 --- /dev/null +++ b/www/wiki/extensions/UniversalLanguageSelector/scripts/update-jquery-uls.sh @@ -0,0 +1,22 @@ +#!/bin/bash + +BASEDIR=$(dirname "$0") +BASEDIR="$BASEDIR/.." + +DEST="$BASEDIR/lib/jquery.uls" +CLONEDIR="$BASEDIR/vendor/jquery.uls" + +UPSTREAM="https://github.com/wikimedia/jquery.uls.git" + +echo "Getting latest jquery.uls from $UPSTREAM" + +if [ -d "$CLONEDIR" ]; then + pushd "$CLONEDIR" + git pull + popd +else + git clone "$UPSTREAM" "$CLONEDIR" +fi + +rm -rf "$DEST"/* +cp -R "$CLONEDIR"/{images,css,src,i18n,*LICENSE,CREDITS} "$DEST" |