remove a bunch of dead variables and things

2019-10-02 11:23:57 +01:00
parent e08cdb1638
commit 30698fefdc
45 changed files with 51 additions and 111 deletions
--- a/ext/ext_manager/main.php
+++ b/ext/ext_manager/main.php
@@ -122,7 +122,6 @@ class ExtManager extends Extension
        $extras = [];

        foreach (ExtensionInfo::get_all_keys() as $key) {
-            $matches = [];
            if (!in_array($key, $core) && isset($settings["ext_$key"])) {
                $extras[] = $key;
            }