correctly handle disabled plugins in admin menu FS#1715
treee35074b3d473d611f732f52b02ec512b9b876c71
-rw-r--r-- 1470 .htaccess.dist
-rw-r--r-- 17992 COPYING
-rw-r--r-- 240 README
drwxr-xr-x - _test
drwxr-xr-x - bin
drwxr-xr-x - conf
drwxr-xr-x - data
-rw-r--r-- 2232 doku.php
-rw-r--r-- 10722 feed.php
drwxr-xr-x - inc
-rw-r--r-- 185 index.php
-rw-r--r-- 16072 install.php
drwxr-xr-x - lib