Clone and enable AdminLinks on GitHub Actions

JeroenDeDauw · malberts · commit eee3c6b1380f · 2025-08-05T22:31:35.000+02:00
diff --git a/.github/workflows/installMediaWiki.sh b/.github/workflows/installMediaWiki.sh
@@ -22,6 +22,7 @@ $wgDevelopmentWarnings = true;
 EOT
 
 cat <<EOT >> LocalSettings.php
+wfLoadExtension( 'AdminLinks' );
 wfLoadExtension( "$EXTENSION_NAME" );
 EOT
 
@@ -37,3 +38,6 @@ cat <<EOT >> composer.local.json
 	}
 }
 EOT
+
+cd extensions
+git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/AdminLinks --depth=1  --branch=$MW_BRANCH --recurse-submodules -j8

Original file line number	Diff line number	Diff line change
`@@ -22,6 +22,7 @@ $wgDevelopmentWarnings = true;`
`22`	`22`	`EOT`
`23`	`23`
`24`	`24`	`cat <<EOT >> LocalSettings.php`
	`25`	`+wfLoadExtension( 'AdminLinks' );`
`25`	`26`	`wfLoadExtension( "$EXTENSION_NAME" );`
`26`	`27`	`EOT`
`27`	`28`
`@@ -37,3 +38,6 @@ cat <<EOT >> composer.local.json`
`37`	`38`	`}`
`38`	`39`	`}`
`39`	`40`	`EOT`
	`41`	`+`
	`42`	`+cd extensions`
	`43`	`+git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/AdminLinks --depth=1 --branch=$MW_BRANCH --recurse-submodules -j8`