Merge "Avoid some unused parameter IDEA errors in User.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 4 Sep 2015 22:19:11 +0000 (22:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 4 Sep 2015 22:19:11 +0000 (22:19 +0000)
commitd2ead083a1ea91e2a113da4eeca68a7979e1d839
tree1c0c65891edcf91cfd9b46457f29b0cd2f102be4
parentb52bf47510ed0e88bda436d4e6b0ea65824d0aa3
parent7389dd7676c643202ddb0ac8112e0f7958888e9f
Merge "Avoid some unused parameter IDEA errors in User.php"