diff options
| author | Scott Marshall <esmarshall@esmarshall.com> | 2019-09-21 19:14:45 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-21 19:14:45 +1000 |
| commit | b15f23f6735eabb6dc7e4a996e4ae164139ab7f5 (patch) | |
| tree | 4ec85cd79d0977c15be09078cdc9f7137336a989 | |
| parent | a8de1fbf228a685cf0414b66892c4865042fa020 (diff) | |
| download | dokuwiki-b15f23f6735eabb6dc7e4a996e4ae164139ab7f5.tar.gz dokuwiki-b15f23f6735eabb6dc7e4a996e4ae164139ab7f5.zip | |
Update config.class.php
Sort plugin list for display by Configuration Manager
| -rw-r--r-- | lib/plugins/config/settings/config.class.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/plugins/config/settings/config.class.php b/lib/plugins/config/settings/config.class.php index 3196d7527..09b9a2bec 100644 --- a/lib/plugins/config/settings/config.class.php +++ b/lib/plugins/config/settings/config.class.php @@ -352,6 +352,7 @@ if (!class_exists('configuration')) { // remove this plugin from the list $idx = array_search('config',$list); unset($list[$idx]); + sort($list); // Sort plugin list alphabetically for display trigger_event('PLUGIN_CONFIG_PLUGINLIST',$list); $this->_plugin_list = $list; |