2014-11-24 21:59:58 -06:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
EXT_NAME=$1
|
2014-12-05 08:49:05 -06:00
|
|
|
EXT_VERSION=$2
|
|
|
|
|
|
2016-06-19 06:38:56 -05:00
|
|
|
cd "app/extensions"
|
|
|
|
|
|
|
|
|
|
if [[ -e "${EXT_NAME}" ]]; then
|
|
|
|
|
cp -Rv "${EXT_NAME}" .
|
|
|
|
|
cd "$(basename ${EXT_NAME})"
|
|
|
|
|
else
|
|
|
|
|
git clone "https://gerrit.wikimedia.org/r/mediawiki/extensions/${EXT_NAME}"
|
|
|
|
|
cd "${EXT_NAME}"
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if [[ "${EXT_VERSION}" ]]; then
|
|
|
|
|
git checkout -b "${EXT_VERSION}" "origin/${EXT_VERSION}"
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
composer install --no-dev
|
