From 10d989458e8a17a6da0f8b2fd3b80a82feb7b31b Mon Sep 17 00:00:00 2001
From: montehurd <mhurd@wikimedia.org>
Date: Wed, 12 Nov 2025 16:19:07 -0800
Subject: [PATCH] remove campaign events

---
 LocalSettings.php     | 1 -
 config/groupConfig.js | 4 ----
 repositories.json     | 3 ---
 3 files changed, 8 deletions(-)

diff --git a/LocalSettings.php b/LocalSettings.php
index 27a4f058..7d0c1e9a 100644
--- a/LocalSettings.php
+++ b/LocalSettings.php
@@ -143,7 +143,6 @@
 # to LocalSettings.php. Check specific extension documentation for more details.
 # The following extensions were automatically enabled:
 wfLoadExtension( 'BetaFeatures' );
-wfLoadExtension( 'CampaignEvents' );
 wfLoadExtension( 'Cite' );
 wfLoadExtension( 'Echo' );
 wfLoadExtension( 'Gadgets' );
diff --git a/config/groupConfig.js b/config/groupConfig.js
index 9fe0abfd..4b974e33 100644
--- a/config/groupConfig.js
+++ b/config/groupConfig.js
@@ -32,10 +32,6 @@ module.exports = {
 		priority: 1,
 		config: 'configMobile.js'
 	},
-	'campaign-events': {
-		priority: 2,
-		config: 'configCampaignEvents.js'
-	},
 	codex: {
 		priority: 1,
 		config: 'configCodex.js'
diff --git a/repositories.json b/repositories.json
index fc0c699f..4dba3e72 100644
--- a/repositories.json
+++ b/repositories.json
@@ -2,9 +2,6 @@
 	"mediawiki/extensions/BetaFeatures": {
 		"path": "extensions/BetaFeatures"
 	},
-	"mediawiki/extensions/CampaignEvents": {
-		"path": "extensions/CampaignEvents"
-	},
 	"mediawiki/extensions/Cite": {
 		"path": "extensions/Cite"
 	},