Merge "By default, keep users in HTTPS with wgSecureLogin"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 Feb 2013 15:15:16 +0000 (15:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 Feb 2013 15:15:16 +0000 (15:15 +0000)
commitd1f8c02d06888a32c82907d354d97dca162d49f6
treec6c46ba6839b619e119b20ce50f7c11a29b9a8ef
parentde433e5b6e7be471cebd2d7387e40f338eade583
parent8c27cf63d1b9c67a87fa67d8cda000873c26e7b2
Merge "By default, keep users in HTTPS with wgSecureLogin"
includes/DefaultSettings.php
includes/specials/SpecialUserlogin.php