Merge "Replace usages of deprecated User::isAllowed. Step 2."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 Sep 2019 12:33:03 +0000 (12:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 Sep 2019 12:33:03 +0000 (12:33 +0000)
commit1af7f36b4f8fcf626b05808e131fd64fcfce8b54
tree174ccb5c74771f6e1d1c3a3089a0b3fc8d9c0d5f
parentf2574fd1a7a23121ee16e394c3dafd545e03e485
parent7b4eafda0d986180d20f37f2489b70e8eca00df4
Merge "Replace usages of deprecated User::isAllowed. Step 2."