From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Tue, 24 Jul 2018 01:13:32 +0000 (+0000)
Subject: Merge "$wgHttpsPort should only be used in very special cases"
X-Git-Tag: 1.34.0-rc.0~4676
X-Git-Url: http://git.cyclocoop.org//%27%40script%40/%27?a=commitdiff_plain;h=1655c86faf49196f41aca75c8df80c0c4fa4fb90;p=lhc%2Fweb%2Fwiklou.git

Merge "$wgHttpsPort should only be used in very special cases"
---

1655c86faf49196f41aca75c8df80c0c4fa4fb90