From 9c4da147b53e32262e37fbce2731dd7f93877caa Mon Sep 17 00:00:00 2001 From: Jeroen De Dauw Date: Sun, 19 Jan 2025 22:30:44 +0100 Subject: [PATCH] Fix installMediaWiki.sh --- .github/workflows/installMediaWiki.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/installMediaWiki.sh b/.github/workflows/installMediaWiki.sh index bbb17782..a5a1f3e7 100644 --- a/.github/workflows/installMediaWiki.sh +++ b/.github/workflows/installMediaWiki.sh @@ -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