jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/392999 )
Change subject: Add wikidata and mediawiki.org to $wgLocalVirtualHosts
......................................................................
Add wikidata and mediawiki.org to $wgLocalVirtualHosts
Bug: T117302
Change-Id: I38d5fbbb9fccd530f31519931dca2629a94fe5d1
---
M wmf-config/CommonSettings.php
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, but someone else must approve
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 7959ed9..abeb534 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -130,6 +130,7 @@
require "$wmfConfigDir/InitialiseSettings.php";
}
+// Do not add wikimedia.org, because of other sites under that domain (such as
codereview-proxy.wikimedia.org)
$wgLocalVirtualHosts = [
'wikipedia.org',
'wiktionary.org',
@@ -140,9 +141,10 @@
'wikisource.org',
'wikiversity.org',
'wikivoyage.org',
- // 'wikimedia.org' // Removed 2008-09-30 by brion -- breaks
codereview-proxy.wikimedia.org
+ 'www.wikidata.org',
'meta.wikimedia.org', // Presumably needed to load meta spam list. Any
others?
'commons.wikimedia.org',
+ 'www.mediawiki.org',
];
# Is this database listed in dblist?
--
To view, visit https://gerrit.wikimedia.org/r/392999
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I38d5fbbb9fccd530f31519931dca2629a94fe5d1
Gerrit-PatchSet: 23
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: TerraCodes <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: TerraCodes <[email protected]>
Gerrit-Reviewer: Tim Starling <[email protected]>
Gerrit-Reviewer: Urbanecm <[email protected]>
Gerrit-Reviewer: Zoranzoki21 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
