diff options
Diffstat (limited to 'lib/public/Settings/IManager.php')
| -rw-r--r-- | lib/public/Settings/IManager.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/public/Settings/IManager.php b/lib/public/Settings/IManager.php index 5c7d0712080..c03c3d588b8 100644 --- a/lib/public/Settings/IManager.php +++ b/lib/public/Settings/IManager.php @@ -33,22 +33,22 @@ interface IManager { /** * @since 9.1.0 */ - const KEY_ADMIN_SETTINGS = 'admin'; + public const KEY_ADMIN_SETTINGS = 'admin'; /** * @since 9.1.0 */ - const KEY_ADMIN_SECTION = 'admin-section'; + public const KEY_ADMIN_SECTION = 'admin-section'; /** * @since 13.0.0 */ - const KEY_PERSONAL_SETTINGS = 'personal'; + public const KEY_PERSONAL_SETTINGS = 'personal'; /** * @since 13.0.0 */ - const KEY_PERSONAL_SECTION = 'personal-section'; + public const KEY_PERSONAL_SECTION = 'personal-section'; /** * @param string $type 'admin' or 'personal' |