From f30a4a0148c57f11412de3c3fbc7300f2ff1efb9 Mon Sep 17 00:00:00 2001
From: Kartik Mistry <kartik.mistry@gmail.com>
Date: Tue, 24 Jan 2017 23:21:52 +0530
Subject: [PATCH] Remove script to update jquery.i18n

Followup: 1312b905f2d7f129b06f37eb7bf274a8b75d7403
Change-Id: I96d07b0f1712bf8b697f225c84191b8466fabd98
---
 scripts/update-jquery-i18n.sh | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100755 scripts/update-jquery-i18n.sh

diff --git a/scripts/update-jquery-i18n.sh b/scripts/update-jquery-i18n.sh
deleted file mode 100755
index d16efdd2..00000000
--- a/scripts/update-jquery-i18n.sh
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/bin/bash
-
-BASEDIR=$(dirname "$0")
-BASEDIR="$BASEDIR/.."
-
-DEST="$BASEDIR/lib/jquery.i18n"
-CLONEDIR="$BASEDIR/vendor/jquery.i18n"
-
-UPSTREAM="https://github.com/wikimedia/jquery.i18n.git"
-
-echo "Getting latest jquery.i18n from $UPSTREAM"
-
-if [ -d "$CLONEDIR" ]; then
-	pushd "$CLONEDIR"
-	git pull
-	popd
-else
-	git clone "$UPSTREAM" "$CLONEDIR"
-fi
-
-rm -rf "$DEST"/*
-cp -R "$CLONEDIR"/src/* "$CLONEDIR"/{*LICENSE,CREDITS} "$DEST"