Ori.livneh has uploaded a new change for review.
https://gerrit.wikimedia.org/r/88515
Change subject: Complete CoreEvents -> WikimediaEvents switch
......................................................................
Complete CoreEvents -> WikimediaEvents switch
Change-Id: If573f4be6f709433c270eeed0dbe94077f877b91
---
M wmf-config/CommonSettings.php
M wmf-config/extension-list
2 files changed, 2 insertions(+), 7 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config
refs/changes/15/88515/1
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 64d551e..813ddb0 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -2474,12 +2474,7 @@
include_once( "$IP/extensions/Campaigns/Campaigns.php" );
}
- // CoreEvents renamed to WikimediaEvents -- Ori, 7 Oct 2013
- if ( file_exists( "$IP/extensions/WikimediaEvents/WikimediaEvents.php"
) ) {
- include_once(
"$IP/extensions/WikimediaEvents/WikimediaEvents.php" );
- } else {
- include_once( "$IP/extensions/CoreEvents/CoreEvents.php" );
- }
+ include_once( "$IP/extensions/WikimediaEvents/WikimediaEvents.php" );
}
if ( $wmgUseEventLogging && $wmgUseNavigationTiming ) {
diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index c1e1ad1..fad5771 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -31,7 +31,7 @@
$IP/extensions/ContactPage/ContactPage.php
$IP/extensions/ContactPageFundraiser/ContactPage.php
$IP/extensions/ContributionTracking/ContributionTracking.php
-$IP/extensions/CoreEvents/CoreEvents.php
+$IP/extensions/WikimediaEvents/WikimediaEvents.php
$IP/extensions/CreditsSource/CreditsSource.php
$IP/extensions/CustomData/CustomData.php
$IP/extensions/DataValues/DataValues/DataValues.i18n.php
--
To view, visit https://gerrit.wikimedia.org/r/88515
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: If573f4be6f709433c270eeed0dbe94077f877b91
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Ori.livneh <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
