[MediaWiki-commits] [Gerrit] Update interwiki map - change (operations/mediawiki-config)

2016-07-16 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Update interwiki map .. Update interwiki map Some links were still protocol-relative. We switch them to HTTPS, as now required by the API. That will

[MediaWiki-commits] [Gerrit] Update interwiki map - change (operations/mediawiki-config)

2016-07-16 Thread Dereckson (Code Review)
Dereckson has uploaded a new change for review. https://gerrit.wikimedia.org/r/299299 Change subject: Update interwiki map .. Update interwiki map Some links were still protocol-relative. We switch them to HTTPS, as now

[MediaWiki-commits] [Gerrit] Update interwiki map - change (operations/mediawiki-config)

2016-07-11 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Update interwiki map .. Update interwiki map Requested by Steinsplitter on #wikimedia-operations. Change-Id: I18dd4c8e12fd535953ba2379420de9f1ae0aca10

[MediaWiki-commits] [Gerrit] Update interwiki map - change (operations/mediawiki-config)

2016-07-08 Thread Dereckson (Code Review)
Dereckson has uploaded a new change for review. https://gerrit.wikimedia.org/r/298028 Change subject: Update interwiki map .. Update interwiki map Requested by Steinsplitter on #wikimedia-operations. Change-Id: