diff options
| author | Christopher Smith <chris@jalakai.co.uk> | 2010-02-10 20:10:04 +0000 |
|---|---|---|
| committer | Christopher Smith <chris@jalakai.co.uk> | 2010-02-10 20:10:04 +0000 |
| commit | 638e1578a45e6303f7df2f00f5b1c3ce30648c08 (patch) | |
| tree | 43ad4a0287fd469ad826faf7c6c180c9fffa65e7 | |
| parent | fc5dbe994743ed593e3941015999ca08abc72686 (diff) | |
| download | rpg-638e1578a45e6303f7df2f00f5b1c3ce30648c08.tar.gz rpg-638e1578a45e6303f7df2f00f5b1c3ce30648c08.tar.bz2 | |
update ignore criteria when populating master plugin list
| -rw-r--r-- | inc/plugincontroller.class.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/inc/plugincontroller.class.php b/inc/plugincontroller.class.php index 4400a4187..043687270 100644 --- a/inc/plugincontroller.class.php +++ b/inc/plugincontroller.class.php @@ -120,8 +120,8 @@ class Doku_Plugin_Controller { function _populateMasterList() { if ($dh = opendir(DOKU_PLUGIN)) { while (false !== ($plugin = readdir($dh))) { - if ($plugin == '.' || $plugin == '..' || $plugin == 'tmp') continue; - if (is_file(DOKU_PLUGIN.$plugin)) continue; + if ($plugin[0] == '.') continue; // skip hidden entries + if (is_file(DOKU_PLUGIN.$plugin)) continue; // skip files, we're only interested in directories if (substr($plugin,-9) == '.disabled') { // the plugin was disabled by rc2009-01-26 |