diff options
Diffstat (limited to 'lib/plugins/extension')
| -rw-r--r-- | lib/plugins/extension/helper/gui.php | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/lib/plugins/extension/helper/gui.php b/lib/plugins/extension/helper/gui.php index aa9e2ec45..9d6783202 100644 --- a/lib/plugins/extension/helper/gui.php +++ b/lib/plugins/extension/helper/gui.php @@ -35,15 +35,11 @@ class helper_plugin_extension_gui extends DokuWiki_Plugin */ public function tabPlugins() { - /* @var PluginController $plugin_controller */ - global $plugin_controller; - echo '<div class="panelHeader">'; echo $this->locale_xhtml('intro_plugins'); echo '</div>'; - $pluginlist = $plugin_controller->getList('', true); - sort($pluginlist); + $pluginlist = plugin_list('', true); /* @var helper_plugin_extension_extension $extension */ $extension = $this->loadHelper('extension_extension'); /* @var helper_plugin_extension_list $list */ |