diff options
| author | Tristan Darricau <github@nicofuma.fr> | 2014-06-27 11:23:11 +0200 |
|---|---|---|
| committer | Tristan Darricau <github@nicofuma.fr> | 2014-06-27 11:23:11 +0200 |
| commit | 4d9e451f6037924329336ae3b01990fc7ef5828b (patch) | |
| tree | 25c51099fc058931fab852d9b43c9a6fccf68216 | |
| parent | d13e02c7b100ac43943f11912a8f4acb740f69b6 (diff) | |
| download | forums-4d9e451f6037924329336ae3b01990fc7ef5828b.tar forums-4d9e451f6037924329336ae3b01990fc7ef5828b.tar.gz forums-4d9e451f6037924329336ae3b01990fc7ef5828b.tar.bz2 forums-4d9e451f6037924329336ae3b01990fc7ef5828b.tar.xz forums-4d9e451f6037924329336ae3b01990fc7ef5828b.zip | |
[ticket/12777] Update doc block of is_configured()
PHPBB3-12777
| -rw-r--r-- | phpBB/phpbb/extension/manager.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/phpBB/phpbb/extension/manager.php b/phpBB/phpbb/extension/manager.php index 580960ca01..95496926eb 100644 --- a/phpBB/phpbb/extension/manager.php +++ b/phpBB/phpbb/extension/manager.php @@ -545,9 +545,11 @@ class manager /** * Check to see if a given extension is configured * + * All enabled and disabled extensions are considered configured. A purged + * extension that is no longer in the database is not configured. + * * @param string $name Extension name to check * @return bool Depending on whether or not the extension is configured - * @see all_configured() */ public function is_configured($name) { |