diff options
author | Andrew Dolgov <[email protected]> | 2015-10-08 17:02:32 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2015-10-08 17:02:32 +0300 |
commit | 583f163f40852c8067708a0a69e38e9c27318179 (patch) | |
tree | 93b0716eed460625c8fc004b8438a243c7f76eb4 /update.php | |
parent | 9cc29abd41aa97ca58c3851d1238bbe23d4b9b26 (diff) |
don't init plugins when loading everything to make a list, duh
Diffstat (limited to 'update.php')
-rwxr-xr-x | update.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update.php b/update.php index 0fa4db0d8..96097c56a 100755 --- a/update.php +++ b/update.php @@ -365,7 +365,7 @@ if (isset($options["list-plugins"])) { $tmppluginhost = new PluginHost(); - $tmppluginhost->load_all($tmppluginhost::KIND_ALL); + $tmppluginhost->load_all($tmppluginhost::KIND_ALL, false); $enabled = array_map("trim", explode(",", PLUGINS)); echo "List of all available plugins:\n"; |