diff options
| author | Satoshi Sahara <sahara.satoshi@gmail.com> | 2019-10-23 19:47:46 +0900 |
|---|---|---|
| committer | Satoshi Sahara <sahara.satoshi@gmail.com> | 2019-10-23 19:47:46 +0900 |
| commit | 9c3f55f8e0617e69b801e81ff3277ea860c64bf4 (patch) | |
| tree | 0b706440e1eea26dcbf23215f1c85d5e6ac01be9 /lib/plugins/extension/helper/gui.php | |
| parent | 69a5fafddde595d31928391b675d22317f56cdcb (diff) | |
| download | dokuwiki-9c3f55f8e0617e69b801e81ff3277ea860c64bf4.tar.gz dokuwiki-9c3f55f8e0617e69b801e81ff3277ea860c64bf4.zip | |
sort plugins in plugin_list()
Diffstat (limited to 'lib/plugins/extension/helper/gui.php')
| -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 */ |