diff options
| author | javiexin <javiexin@gmail.com> | 2017-04-28 23:47:51 +0200 |
|---|---|---|
| committer | javiexin <javiexin@gmail.com> | 2017-04-28 23:47:51 +0200 |
| commit | 1e8f4679642627cca3d678611ea72e3837739274 (patch) | |
| tree | d829b20c352cc9b0b6047a15e9257d731699afe6 /phpBB/phpbb/extension/manager.php | |
| parent | ad5fcd535630b9a93333bb6e16bc84bff8f103ae (diff) | |
| download | forums-1e8f4679642627cca3d678611ea72e3837739274.tar forums-1e8f4679642627cca3d678611ea72e3837739274.tar.gz forums-1e8f4679642627cca3d678611ea72e3837739274.tar.bz2 forums-1e8f4679642627cca3d678611ea72e3837739274.tar.xz forums-1e8f4679642627cca3d678611ea72e3837739274.zip | |
[ticket/15202] To disable, an extension must be enabled
PHPBB3-15202
Diffstat (limited to 'phpBB/phpbb/extension/manager.php')
| -rw-r--r-- | phpBB/phpbb/extension/manager.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/phpBB/phpbb/extension/manager.php b/phpBB/phpbb/extension/manager.php index 00aa2c6826..4b4109bd85 100644 --- a/phpBB/phpbb/extension/manager.php +++ b/phpBB/phpbb/extension/manager.php @@ -262,8 +262,8 @@ class manager */ public function disable_step($name) { - // ignore extensions that are already disabled - if ($this->is_disabled($name)) + // ignore extensions that are not enabled + if (!$this->is_enabled($name)) { return false; } |