mediawiki/add_extension.sh

#!/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 $2 origin/$2
Add extensions 2014-11-24 21:59:58 -06:00			`#!/bin/bash`

			`EXT_NAME=$1`
Update to mediawiki 1.24 2014-12-05 08:49:05 -06:00			`EXT_VERSION=$2`

Add extensions 2014-11-24 21:59:58 -06:00			`cd /app/extensions`
			`git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/$1`
			`cd $1`
Update to mediawiki 1.24 2014-12-05 08:49:05 -06:00			`git checkout -b $2 origin/$2`