From ce5dbd53563bcdf13451a7226566447dcc9a519f Mon Sep 17 00:00:00 2001 From: Ian Kelling Date: Wed, 18 Jan 2017 05:43:05 -0800 Subject: [PATCH] updated to latest --- Mediawiki_Setup_Guide | 15 +++++++-------- mw-setup-script | 15 +++++++-------- 2 files changed, 14 insertions(+), 16 deletions(-) diff --git a/Mediawiki_Setup_Guide b/Mediawiki_Setup_Guide index a2dc13d..aba3125 100644 --- a/Mediawiki_Setup_Guide +++ b/Mediawiki_Setup_Guide @@ -139,7 +139,7 @@ mw-clone() { local url=$1 local original_pwd="$PWD" local name - local re='[^/]*/[^/]*$' + local re='[^/]*/[^/]*$' # last 2 parts of path [[ $url =~ $re ]] ||: target=$mw/${BASH_REMATCH[0]} if [[ ! -e $target/.git ]]; then @@ -157,11 +157,10 @@ mw-clone() { } mw-ext () { local ext - for ext in "$@"; do + for ext; do mw-clone https://gerrit.wikimedia.org/r/p/mediawiki/extensions/$ext - if [[ -e $mw/ext/$ext/extension.json ]]; then - # new style extension. remove old style declaration - sed -i --follow-symlinks '#^require_once( "\\\$IP/extensions/\$ext/\$ext\.php" );#d' $mwc + if [[ -e $mw/extensions/$ext/extension.json ]]; then + # new style extension teeu $mwc <