1
0
mirror of https://github.com/phpbb/phpbb.git synced 2025-07-31 05:50:42 +02:00

[ticket/13950] Hide undefined categories

This hides the categories added by disabled extensions

PHPBB3-13950
This commit is contained in:
Zoddo
2015-08-28 18:56:10 +02:00
parent 11b2bffa8e
commit af246483e2
2 changed files with 16 additions and 0 deletions

View File

@@ -159,6 +159,17 @@ class permissions
return (isset($this->permissions[$permission]['cat'])) ? $this->permissions[$permission]['cat'] : 'misc';
}
/**
* Checks if a category has been defined
*
* @param string $category Identifier of the category
* @return bool True if the category is defined, false otherwise
*/
public function category_defined($category)
{
return isset($this->categories[$category]);
}
/**
* Checks if a permission has been defined
*