jenkins-bot has submitted this change and it was merged.
Change subject: dumpInterwiki: Get interwiki map via HTTPS
......................................................................
dumpInterwiki: Get interwiki map via HTTPS
Change-Id: Ifda867efbf94ec5cb11188000b04e68b57d23c35
---
M dumpInterwiki.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/dumpInterwiki.php b/dumpInterwiki.php
index 5f3a195..8d012bf 100644
--- a/dumpInterwiki.php
+++ b/dumpInterwiki.php
@@ -264,7 +264,7 @@
}
// Extract the intermap from meta
- $intermap = Http::get(
'http://meta.wikimedia.org/w/index.php?title=Interwiki_map&action=raw', 30 );
+ $intermap = Http::get(
'https://meta.wikimedia.org/w/index.php?title=Interwiki_map&action=raw', 30 );
$lines = array_map( 'trim', explode( "\n", trim( $intermap ) )
);
if ( !$lines || count( $lines ) < 2 ) {
--
To view, visit https://gerrit.wikimedia.org/r/225004
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifda867efbf94ec5cb11188000b04e68b57d23c35
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaMaintenance
Gerrit-Branch: master
Gerrit-Owner: Alex Monk <kren...@gmail.com>
Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
