jenkins-bot has submitted this change and it was merged.
Change subject: Labs: Kartographer is already loaded in prod
......................................................................
Labs: Kartographer is already loaded in prod
Change-Id: Id2c462b2ad56ff9c0eeef500cbd7a3fe7dce2e5f
---
M wmf-config/CommonSettings-labs.php
1 file changed, 0 insertions(+), 5 deletions(-)
Approvals:
MaxSem: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/CommonSettings-labs.php
b/wmf-config/CommonSettings-labs.php
index 108869e..504f040 100644
--- a/wmf-config/CommonSettings-labs.php
+++ b/wmf-config/CommonSettings-labs.php
@@ -305,11 +305,6 @@
$wgGraphAllowedDomains['wikidatasparql'][] = 'wdqs-test.wmflabs.org';
}
-if ( $wmgUseKartographer ) {
- wfLoadExtension( 'Kartographer' );
- $wgKartographerMapServer = "https://maps.wikimedia.org";;
-}
-
if ( $wmgUseORES ) {
wfLoadExtension( 'ORES' );
$wgOresWikiId = 'testwiki';
--
To view, visit https://gerrit.wikimedia.org/r/300483
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id2c462b2ad56ff9c0eeef500cbd7a3fe7dce2e5f
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
