Ori.livneh has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/55232


Change subject: Correct entry-point in E3Experiments extension
......................................................................

Correct entry-point in E3Experiments extension

For a long time, the main entry point to extensions/E3Experiments was
'Experiments.php'. It was a mistake I made early and then had a hard time
reversing. I am about to fix it and am looking to simplify deployment by
temporarily allowing the extension to be included from either entry point.

Change-Id: I01deec11ba17b2f411bfa25eb78dadf0cba35fc8
---
M wmf-config/CommonSettings.php
1 file changed, 5 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/32/55232/1

diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 36466b8..f490102 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -2479,7 +2479,11 @@
 }
 
 if ( $wmgUseE3Experiments ) {
-       require_once( "$IP/extensions/E3Experiments/Experiments.php" );
+       if ( file_exists( "$IP/extensions/E3Experiments/E3Experiments.php" ) ) {
+               include_once( "$IP/extensions/E3Experiments/E3Experiments.php" 
);
+       } else {
+               include_once( "$IP/extensions/E3Experiments/Experiments.php" );
+       }
 }
 
 if ( $wmgEnableGeoData ) {

-- 
To view, visit https://gerrit.wikimedia.org/r/55232
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I01deec11ba17b2f411bfa25eb78dadf0cba35fc8
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

Reply via email to