Merge "DefaultPreferencesFactory: Remove fallback for null PermissionManager"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 17 Sep 2019 20:32:17 +0000 (20:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 17 Sep 2019 20:32:17 +0000 (20:32 +0000)
commit4e9eb2f8d75784c78715e7dc3a9c8084d5c54943
tree87f60438a995aa04dbd00584709c752cca54600b
parenta1d6452fd28bc0c2b047ddb2e86e94326e5640fd
parent7b153651c1ed6096f7a0fe24e496deb3e4049c22
Merge "DefaultPreferencesFactory: Remove fallback for null PermissionManager"
includes/preferences/DefaultPreferencesFactory.php