mediawiki/add_skin.sh

#!/bin/bash

EXT_NAME=$1
EXT_VERSION=$2

cd /app/skins
git clone https://gerrit.wikimedia.org/r/p/mediawiki/skins/$1
cd $1
git checkout -b $2 origin/$2
add skins 2014-12-05 09:38:22 -06:00			`#!/bin/bash`

			`EXT_NAME=$1`
			`EXT_VERSION=$2`

			`cd /app/skins`
update to 1.27 2016-07-10 20:20:57 -05:00			`git clone https://gerrit.wikimedia.org/r/p/mediawiki/skins/$1`
add skins 2014-12-05 09:38:22 -06:00			`cd $1`
			`git checkout -b $2 origin/$2`