Merge "Made user preferences load from the master by default"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 30 Mar 2015 15:30:49 +0000 (15:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 30 Mar 2015 15:30:49 +0000 (15:30 +0000)
commitf9a5c177994f81b3e12cc47a0f9f7c0ddf66bcdc
tree7e84d2cf11574eb9102879a23aaf31074375a900
parentc545958a3c1fa6501b9f31963e803c91128cdfac
parent7e27652a76c1b5a26ae1de0906d1980942ece1fa
Merge "Made user preferences load from the master by default"
includes/User.php