Merge "Replace deprecated User::editToken with User::getEditToken (1.19)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 9 Jan 2014 04:34:29 +0000 (04:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 9 Jan 2014 04:34:29 +0000 (04:34 +0000)
commit942b53e57ee959c279c68a00b9b96a53908a3a44
treea6fbb1585038f49960c3857170d7814aa12d70c8
parent56b703d4f3aac870a98a7d43b7cdddd29c8d5ade
parenta50d7ac246fd01f70017ea368b14cb659eaf6cb8
Merge "Replace deprecated User::editToken with User::getEditToken (1.19)"