DefaultPreferencesFactory: Remove fallback for null PermissionManager
authorPetr Pchelko <ppchelko@wikimedia.org>
Thu, 12 Sep 2019 21:08:04 +0000 (14:08 -0700)
committerPetr Pchelko <ppchelko@wikimedia.org>
Thu, 12 Sep 2019 21:10:57 +0000 (14:10 -0700)
commit7b153651c1ed6096f7a0fe24e496deb3e4049c22
tree8a6c534897b31a56faf04ab45f26756d114a102d
parente81b3603dc2d4e149445ffb190c3b8fe1598b68d
DefaultPreferencesFactory: Remove fallback for null PermissionManager

Bug: T220191
Depends-On: Id0f0bdb39b9e0be4d7c38c229371be04bb5aec5c
Change-Id: Iaf43aada39663e48f10dd7d662e85891e568f8d4
includes/preferences/DefaultPreferencesFactory.php