Merge "Block: Clean up handling of non-User targets"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 19 Nov 2018 23:56:17 +0000 (23:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 19 Nov 2018 23:56:17 +0000 (23:56 +0000)
commit1db4c42f46b538b45aff231989ab495b317aceda
tree2d5a9f519bb74cabfa738732c21ce148478da6c7
parentd7066ad8c251ea610c3cbd8be57f22b9b2fe0a85
parent74ff87d291e6daddfd791270c6ee95ca587d3d46
Merge "Block: Clean up handling of non-User targets"
includes/user/User.php