[ext manager] interpret 'off' as 'turn off extension'
This commit is contained in:
parent
0588f9af3e
commit
88530f5f67
1 changed files with 2 additions and 2 deletions
|
@ -117,7 +117,7 @@ class ExtManager extends Extension
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* @param array<string, bool> $settings
|
* @param array<string, mixed> $settings
|
||||||
*/
|
*/
|
||||||
private function set_things(array $settings): void
|
private function set_things(array $settings): void
|
||||||
{
|
{
|
||||||
|
@ -125,7 +125,7 @@ class ExtManager extends Extension
|
||||||
$extras = [];
|
$extras = [];
|
||||||
|
|
||||||
foreach (ExtensionInfo::get_all_keys() as $key) {
|
foreach (ExtensionInfo::get_all_keys() as $key) {
|
||||||
if (!in_array($key, $core) && isset($settings["ext_$key"])) {
|
if (!in_array($key, $core) && isset($settings["ext_$key"]) && $settings["ext_$key"] === "on") {
|
||||||
$extras[] = $key;
|
$extras[] = $key;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Reference in a new issue