[dokuwiki] New PR: sort Plugins in Config Manager and Extension Manager

  • From: "ssahara" <wiki@xxxxxxxxxxxx>
  • To: dokuwiki@xxxxxxxxxxxxx
  • Date: Mon, 21 Oct 2019 09:49:49 +0200 (CEST)

Hi,

ssahara opened a new pull request at 
https://github.com/splitbrain/dokuwiki/pull/2893:

This PR is same as #2864 Update config.class.php,which was once merged but lost 
after merging PSR2 branch. It is clear for local admins of each DokuWiki 
installations to see sorted list of plugins in both Config and Extensions 
panel. 

Using common function `plugin_list()` eliminates global $plugin_controller in 
Extensions Manager plugin.



Please help us to review this pull request, so new contributors get feedback in 
a timely manner.

5ae53600-f3d7-11e9-889e-c97c13af2692


-- 
DokuWiki mailing list - more info at
http://www.dokuwiki.org/mailinglist

Other related posts:

  • » [dokuwiki] New PR: sort Plugins in Config Manager and Extension Manager - ssahara