Merge "Fix phpdoc of User::isIP"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 23 Jun 2016 10:06:17 +0000 (10:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 23 Jun 2016 10:06:17 +0000 (10:06 +0000)
commitf6a74b39bca177b395dc99a30bf3001611109655
treec511726d9bbf22a582b22fe029cbe080daec0acb
parent455164832448803b0487ecc2b111906e86a95e96
parent1af30e9bf03ab190bf9259fba6b60b22d19b7efb
Merge "Fix phpdoc of User::isIP"