diff options
| author | Zoddo <zoddo.ino@gmail.com> | 2015-07-15 21:32:40 +0200 |
|---|---|---|
| committer | Zoddo <zoddo.ino@gmail.com> | 2015-08-28 18:43:59 +0200 |
| commit | 11b2bffa8e41a37b778019d0aee4041f72f8c0a0 (patch) | |
| tree | 5d9c308dffca3b0925f1160ce5950041157e815c /phpBB/phpbb | |
| parent | bfbce5a1b0b2e22ea2027d82d87c8bc32917a5b2 (diff) | |
| download | forums-11b2bffa8e41a37b778019d0aee4041f72f8c0a0.tar forums-11b2bffa8e41a37b778019d0aee4041f72f8c0a0.tar.gz forums-11b2bffa8e41a37b778019d0aee4041f72f8c0a0.tar.bz2 forums-11b2bffa8e41a37b778019d0aee4041f72f8c0a0.tar.xz forums-11b2bffa8e41a37b778019d0aee4041f72f8c0a0.zip | |
[ticket/13950] Hide undefined permissions
This hides the permissions of the disabled extensions
PHPBB3-13950
Diffstat (limited to 'phpBB/phpbb')
| -rw-r--r-- | phpBB/phpbb/permissions.php | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/phpBB/phpbb/permissions.php b/phpBB/phpbb/permissions.php index 82f59b5c20..7006c84b76 100644 --- a/phpBB/phpbb/permissions.php +++ b/phpBB/phpbb/permissions.php @@ -160,6 +160,17 @@ class permissions } /** + * Checks if a permission has been defined + * + * @param string $permission Identifier of the permission + * @return bool True if the permission is defined, false otherwise + */ + public function permission_defined($permission) + { + return isset($this->permissions[$permission]); + } + + /** * Returns the language string of a permission * * @param string $permission Identifier of the permission |