diff options
| -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) { |