Merge "Move methods for handling external usernames to a dedicated class"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 19 Jan 2018 14:43:41 +0000 (14:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 19 Jan 2018 14:43:42 +0000 (14:43 +0000)
commitea433039510bf7f57147cfd84b1b4e460e094433
treefa195eafabc685b6e7302288e1044462b0837d47
parentce945fafa3e6e4285faf7dd0ade2243845e056fa
parentdc4089b268b2d0bcf904e4b8ba6679f8c9115aac
Merge "Move methods for handling external usernames to a dedicated class"
autoload.php
includes/Linker.php