Merge "Fixed sanity cache clear in User::saveSettings()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 28 Sep 2015 22:21:16 +0000 (22:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 28 Sep 2015 22:21:16 +0000 (22:21 +0000)
commitf2077a3144270ac81a024cf83726c065dd607798
tree7b7ece384d31deb77f473fbcb193a1ef9ab12129
parent254b163a9605c5f2e92c7b76158a8e8166efbbce
parentb23e0b0a835fa84031442b8b3b313860a6affadf
Merge "Fixed sanity cache clear in User::saveSettings()"
includes/User.php