Skip to content

Commit

Permalink
Fix installMediaWiki.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
JeroenDeDauw authored Jan 19, 2025
1 parent 005bebd commit 9c4da14
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/installMediaWiki.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ set -ex
MW_BRANCH=$1
EXTENSION_NAME=$2

wget "https://github.com/wikimedia/mediawiki/archive/$MW_BRANCH.tar.gz" -nv
wget "https://github.com/wikimedia/mediawiki/archive/refs/heads/$MW_BRANCH.tar.gz" -nv

tar -zxf $MW_BRANCH.tar.gz
mv mediawiki-$MW_BRANCH mediawiki
Expand Down

0 comments on commit 9c4da14

Please sign in to comment.