Add extensions
This commit is contained in:
7
add_extension.sh
Normal file
7
add_extension.sh
Normal file
@@ -0,0 +1,7 @@
|
||||
#!/bin/bash
|
||||
|
||||
EXT_NAME=$1
|
||||
cd /app/extensions
|
||||
git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/$1
|
||||
cd $1
|
||||
git checkout -b REL1_23 origin/REL1_23
|
Reference in New Issue
Block a user