Attempt to fix GH CI

.github/workflows/ci.yml

@@ -95,7 +95,7 @@ jobs:
       - name: Setup PHP
         uses: shivammathur/setup-php@v2
         with:
-          php-version: 8.0
+          php-version: 7.4
           extensions: mbstring
           tools: composer, cs2pr
 
@@ -151,7 +151,7 @@ jobs:
       - name: Setup PHP
         uses: shivammathur/setup-php@v2
         with:
-          php-version: 8.0
+          php-version: 7.4
           extensions: mbstring, intl, php-ast
           tools: composer
 

.github/workflows/installMediaWiki.sh

@@ -1,33 +1,38 @@
 #! /bin/bash
 
+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/$MW_BRANCH.tar.gz" -nv
 
 tar -zxf $MW_BRANCH.tar.gz
 mv mediawiki-$MW_BRANCH mediawiki
 
 cd mediawiki
 
-composer install
-php maintenance/install.php --dbtype sqlite --dbuser root --dbname mw --dbpath $(pwd) --pass AdminPassword WikiName AdminUser
+composer install --no-progress --no-interaction --prefer-dist --optimize-autoloader
+
+php maintenance/install.php \
+	--dbtype sqlite \
+	--dbuser root \
+	--dbname mw \
+	--dbpath "$(pwd)" \
+	--scriptpath="" \
+	--pass AdminPassword WikiName AdminUser
 
 echo 'error_reporting(E_ALL| E_STRICT);' >> LocalSettings.php
 echo 'ini_set("display_errors", 1);' >> LocalSettings.php
 echo '$wgShowExceptionDetails = true;' >> LocalSettings.php
 echo '$wgShowDBErrorBacktrace = true;' >> LocalSettings.php
 echo '$wgDevelopmentWarnings = true;' >> LocalSettings.php
-echo '$wgDeprecationReleaseLimit = "1.37";' >> LocalSettings.php
 
-# "mediawiki/semantic-media-wiki": "3.2.0"
-#echo 'wfLoadExtension( "SemanticMediaWiki" );' >> LocalSettings.php
 echo 'wfLoadExtension( "'$EXTENSION_NAME'" );' >> LocalSettings.php
 
 cat <<EOT >> composer.local.json
 {
   "require": {
-
   },
 	"extra": {
 		"merge-plugin": {