jenkins-bot has submitted this change and it was merged.
Change subject: Remove $wgSubversionProxy
......................................................................
Remove $wgSubversionProxy
Bug: 52694
Change-Id: If0cef953d5ad26319e78e9cd52961f3b4747db2f
---
M wmf-config/CommonSettings.php
1 file changed, 0 insertions(+), 2 deletions(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index bd31770..9e099c9 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -1556,8 +1556,6 @@
if ( $wmgUseCodeReview ) {
include "$IP/extensions/CodeReview/CodeReview.php";
- $wgSubversionProxy = 'http://codereview-proxy.wikimedia.org/index.php';
-
$wgGroupPermissions['user']['codereview-add-tag'] = false;
$wgGroupPermissions['user']['codereview-remove-tag'] = false;
$wgGroupPermissions['user']['codereview-post-comment'] = false;
--
To view, visit https://gerrit.wikimedia.org/r/92606
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If0cef953d5ad26319e78e9cd52961f3b4747db2f
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
