diff options
| author | Gerrit Uitslag <klapinklapin@gmail.com> | 2014-10-21 14:47:21 +0200 |
|---|---|---|
| committer | Gerrit Uitslag <klapinklapin@gmail.com> | 2014-10-21 14:47:21 +0200 |
| commit | fb15cab611b9b03bfde1bd3d64906c08fb443f3b (patch) | |
| tree | 3f49ebc2bd0de7aa40d60ef2f8f69c084a46ca76 /inc | |
| parent | 6c3f1f3b969cb64f9db8460c8c22dd2bbe4ed39c (diff) | |
| download | rpg-fb15cab611b9b03bfde1bd3d64906c08fb443f3b.tar.gz rpg-fb15cab611b9b03bfde1bd3d64906c08fb443f3b.tar.bz2 | |
use phpdocs deprecated notation
Diffstat (limited to 'inc')
| -rw-r--r-- | inc/plugincontroller.class.php | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/inc/plugincontroller.class.php b/inc/plugincontroller.class.php index d80cd4c9e..4f0cd58e6 100644 --- a/inc/plugincontroller.class.php +++ b/inc/plugincontroller.class.php @@ -178,8 +178,10 @@ class Doku_Plugin_Controller { // 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) + /** + * treat this as a default disabled plugin(over-rideable by the plugin manager) + * @deprecated 2011-09-10 (usage of disabled files) + */ if (empty($this->plugin_cascade['local'][$plugin])) { $all_plugins[$plugin] = 0; } else { |