show disabled extensions in gray
commite5688dc721ec95f24be4bd534dec504dc5d8bc56
authorAndreas Gohr <andi@splitbrain.org>
Fri, 29 Mar 2019 11:09:35 +0000 (29 12:09 +0100)
committerAndreas Gohr <andi@splitbrain.org>
Sun, 19 May 2019 08:43:27 +0000 (19 10:43 +0200)
tree721c1d6526b950a7b18a68aba4ff83f488ada2cc
parented3520eed10a8224b4bcdc4c401f6ba33f25f202
show disabled extensions in gray
lib/plugins/extension/cli.php