[MediaWiki-commits] [Gerrit] mediawiki...CongressLookup[master]: Adding some comments to the maintenance scripts
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/401417 ) Change subject: Adding some comments to the maintenance scripts .. Adding some comments to the maintenance scripts Change-Id: Iabdcf87591f7e29e2d1417ed5eb7598b3982b3cb --- M maintenance/checkContacts.php M maintenance/populateCache.php 2 files changed, 8 insertions(+), 1 deletion(-) Approvals: jenkins-bot: Verified Kaldari: Looks good to me, approved diff --git a/maintenance/checkContacts.php b/maintenance/checkContacts.php index 212e83b..84ed1ad 100644 --- a/maintenance/checkContacts.php +++ b/maintenance/checkContacts.php @@ -1,7 +1,11 @@ 'GET', 'timeout' => 8, 'sslVerifyHost' => false, // just check if it can be reached diff --git a/maintenance/populateCache.php b/maintenance/populateCache.php index 423e129..f4bad70 100644 --- a/maintenance/populateCache.php +++ b/maintenance/populateCache.php @@ -1,5 +1,7 @@ https://gerrit.wikimedia.org/r/401417 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iabdcf87591f7e29e2d1417ed5eb7598b3982b3cb Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/extensions/CongressLookup Gerrit-Branch: master Gerrit-Owner: Kaldari Gerrit-Reviewer: Kaldari Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki...CongressLookup[master]: Adding some comments to the maintenance scripts
Kaldari has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/401417 ) Change subject: Adding some comments to the maintenance scripts .. Adding some comments to the maintenance scripts Change-Id: Iabdcf87591f7e29e2d1417ed5eb7598b3982b3cb --- M maintenance/checkContacts.php M maintenance/populateCache.php 2 files changed, 7 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CongressLookup refs/changes/17/401417/1 diff --git a/maintenance/checkContacts.php b/maintenance/checkContacts.php index 212e83b..06e6e89 100644 --- a/maintenance/checkContacts.php +++ b/maintenance/checkContacts.php @@ -1,6 +1,10 @@ 'GET', 'timeout' => 8, diff --git a/maintenance/populateCache.php b/maintenance/populateCache.php index 423e129..f4bad70 100644 --- a/maintenance/populateCache.php +++ b/maintenance/populateCache.php @@ -1,5 +1,7 @@ https://gerrit.wikimedia.org/r/401417 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Iabdcf87591f7e29e2d1417ed5eb7598b3982b3cb Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/CongressLookup Gerrit-Branch: master Gerrit-Owner: Kaldari ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits