Merge "Replace deprecated language codes in user options"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 14 Jun 2018 13:56:36 +0000 (13:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 14 Jun 2018 13:56:36 +0000 (13:56 +0000)
commit4f73259b37571e4082ded48b47f571b632966bd5
treec2570689561642290f2867204268d7d31d5c6751
parente8632ab0f6264851d2115a2e6338c2074b9a9b8c
parent80f31ecac6ca70793341d1eba9300cfcf32b3178
Merge "Replace deprecated language codes in user options"
includes/user/User.php