diff options
author | Andreas Gohr <andi@splitbrain.org> | 2012-03-16 12:09:30 +0100 |
---|---|---|
committer | Andreas Gohr <andi@splitbrain.org> | 2012-03-16 12:09:30 +0100 |
commit | 63703ba5bd81f50c43bc45f8bf79c514afa3ee49 (patch) | |
tree | bbfa7eef5fa5bdd6adc4438d2eb33679145d0c89 /inc/plugincontroller.class.php | |
parent | d086370fa9b2f3cfa66d4584ed76314e216df899 (diff) | |
download | rpg-63703ba5bd81f50c43bc45f8bf79c514afa3ee49.tar.gz rpg-63703ba5bd81f50c43bc45f8bf79c514afa3ee49.tar.bz2 |
coding style updates
Diffstat (limited to 'inc/plugincontroller.class.php')
-rw-r--r-- | inc/plugincontroller.class.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/inc/plugincontroller.class.php b/inc/plugincontroller.class.php index 734331c94..208d7dae9 100644 --- a/inc/plugincontroller.class.php +++ b/inc/plugincontroller.class.php @@ -137,6 +137,7 @@ class Doku_Plugin_Controller { // the plugin was disabled by rc2009-01-26 // disabling mechanism was changed back very soon again // to keep everything simple we just skip the plugin completely + continue; } elseif (@file_exists(DOKU_PLUGIN.$plugin.'/disabled')) { // treat this as a default disabled plugin(over-rideable by the plugin manager) // deprecated 2011-09-10 (usage of disabled files) |