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 | |
parent | 69a5fafddde595d31928391b675d22317f56cdcb (diff) | |
download | dokuwiki-9c3f55f8e0617e69b801e81ff3277ea860c64bf4.tar.gz dokuwiki-9c3f55f8e0617e69b801e81ff3277ea860c64bf4.zip |
sort plugins in plugin_list()
-rw-r--r-- | inc/pluginutils.php | 28 | ||||
-rw-r--r-- | lib/plugins/extension/helper/gui.php | 6 |
2 files changed, 20 insertions, 14 deletions
diff --git a/inc/pluginutils.php b/inc/pluginutils.php index f1ad82fe6..d159fc9e9 100644 --- a/inc/pluginutils.php +++ b/inc/pluginutils.php @@ -27,10 +27,13 @@ if(!defined('DOKU_PLUGIN_NAME_REGEX')) define('DOKU_PLUGIN_NAME_REGEX', '[a-zA-Z * @param bool $all; true to retrieve all, false to retrieve only enabled plugins * @return array with plugin names or plugin component names */ -function plugin_list($type='',$all=false) { +public function plugin_list($type='',$all=false) +{ /** @var $plugin_controller PluginController */ global $plugin_controller; - return $plugin_controller->getList($type,$all); + $plugins = $plugin_controller->getList($type,$all); + sort($plugins, SORT_NATURAL|SORT_FLAG_CASE); + return $plugins; } /** @@ -44,7 +47,8 @@ function plugin_list($type='',$all=false) { * @param $disabled bool true to load even disabled plugins * @return PluginInterface|null the plugin object or null on failure */ -function plugin_load($type,$name,$new=false,$disabled=false) { +function plugin_load($type,$name,$new=false,$disabled=false) +{ /** @var $plugin_controller PluginController */ global $plugin_controller; return $plugin_controller->load($type,$name,$new,$disabled); @@ -56,7 +60,8 @@ function plugin_load($type,$name,$new=false,$disabled=false) { * @param string $plugin name of plugin * @return bool true disabled, false enabled */ -function plugin_isdisabled($plugin) { +public function plugin_isdisabled($plugin) +{ /** @var $plugin_controller PluginController */ global $plugin_controller; return $plugin_controller->isdisabled($plugin); @@ -68,7 +73,8 @@ function plugin_isdisabled($plugin) { * @param string $plugin name of plugin * @return bool true saving succeed, false saving failed */ -function plugin_enable($plugin) { +public function plugin_enable($plugin) +{ /** @var $plugin_controller PluginController */ global $plugin_controller; return $plugin_controller->enable($plugin); @@ -80,7 +86,8 @@ function plugin_enable($plugin) { * @param string $plugin name of plugin * @return bool true saving succeed, false saving failed */ -function plugin_disable($plugin) { +public function plugin_disable($plugin) +{ /** @var $plugin_controller PluginController */ global $plugin_controller; return $plugin_controller->disable($plugin); @@ -93,7 +100,8 @@ function plugin_disable($plugin) { * @return string name of directory * @deprecated 2018-07-20 */ -function plugin_directory($plugin) { +public function plugin_directory($plugin) +{ dbg_deprecated('$plugin directly'); return $plugin; } @@ -103,7 +111,8 @@ function plugin_directory($plugin) { * * @return array with arrays of plugin configs */ -function plugin_getcascade() { +public function plugin_getcascade() +{ /** @var $plugin_controller PluginController */ global $plugin_controller; return $plugin_controller->getCascade(); @@ -116,7 +125,8 @@ function plugin_getcascade() { * * @return Doku_Plugin_Admin */ -function plugin_getRequestAdminPlugin(){ +public function plugin_getRequestAdminPlugin() +{ static $admin_plugin = false; global $ACT,$INPUT,$INFO; 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 */ |