Merge "Userlogin.php: Tweaks and corrections"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 15 Jan 2015 18:52:40 +0000 (18:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 15 Jan 2015 18:52:40 +0000 (18:52 +0000)
commitaf59ef768348055a8a2b478d6e6b06bd87f15f09
treeeb02747a6c72c29252f4b4b8eea21cca656cc77d
parentb24e94df177ef838a92a2d5a3313357c6aeb4591
parentff1f9e7a535acd6d87277710e2c3031e327b3d0a
Merge "Userlogin.php: Tweaks and corrections"