diff --git a/LocalSettings.php b/LocalSettings.php
index 7d0c1e9..95a5726 100644
--- a/LocalSettings.php
+++ b/LocalSettings.php
@@ -163,9 +163,6 @@
 wfLoadExtension( 'CommunityConfiguration' );
 wfLoadExtension( 'VueTest' );
 wfLoadExtension( 'cldr' );
-if ( getenv('ENABLE_WIKILAMBDA') == 'true' ) {
-	wfLoadExtension( 'WikiLambda' );
-}
 wfLoadExtension( 'WikimediaMessages' );
 
 // Make extended cookies (e.g. when logging in with "Keep me logged in" option)
diff --git a/config/groupConfig.js b/config/groupConfig.js
index 4b974e3..e238dae 100644
--- a/config/groupConfig.js
+++ b/config/groupConfig.js
@@ -35,9 +35,5 @@ module.exports = {
 	codex: {
 		priority: 1,
 		config: 'configCodex.js'
-	},
-	wikilambda: {
-		priority: 2,
-		config: 'configWikiLambda.js'
 	}
 };
diff --git a/repositories.json b/repositories.json
index 4dba3e7..4d699f9 100644
--- a/repositories.json
+++ b/repositories.json
@@ -59,9 +59,6 @@
 	"mediawiki/extensions/VueTest": {
 		"path": "extensions/VueTest"
 	},
-	"mediawiki/extensions/WikiLambda": {
-		"path": "extensions/WikiLambda"
-	},
 	"mediawiki/extensions/WikimediaMessages": {
 		"path": "extensions/WikimediaMessages"
 	},