summaryrefslogtreecommitdiff
path: root/www/wiki/extensions/UniversalLanguageSelector/scripts/update-jquery-webfonts.sh
blob: 39b8c2327c5fc9bac7c351ee522b0d461d67c9f1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#!/bin/bash

BASEDIR=$(dirname "$0")
BASEDIR="$BASEDIR/.."

DEST="$BASEDIR/lib/jquery.webfonts"
CLONEDIR="$BASEDIR/vendor/jquery.wefonts"

UPSTREAM="https://github.com/wikimedia/jquery.webfonts.git"

echo "Getting latest jquery.wefonts from $UPSTREAM"

if [ -d "$CLONEDIR" ]; then
	pushd "$CLONEDIR"
	git pull
	popd
else
	git clone "$UPSTREAM" "$CLONEDIR"
fi

rm -rf "$DEST/jquery.webfonts.js"
cp -R "$CLONEDIR"/{src,*LICENSE} "$DEST"