1
0
mirror of https://github.com/phpbb/phpbb.git synced 2025-05-31 19:49:20 +02:00

Merge pull request #4816 from javiexin/ticket/15202

[ticket/15202] To disable, an extension must be enabled
This commit is contained in:
Marc Alexander 2017-04-30 20:36:12 -04:00
commit 521760aeb7
No known key found for this signature in database
GPG Key ID: 50E0D2423696F995

View File

@ -262,8 +262,8 @@ class manager
*/ */
public function disable_step($name) public function disable_step($name)
{ {
// ignore extensions that are already disabled // ignore extensions that are not enabled
if ($this->is_disabled($name)) if (!$this->is_enabled($name))
{ {
return false; return false;
} }