From fb15cab611b9b03bfde1bd3d64906c08fb443f3b Mon Sep 17 00:00:00 2001 From: Gerrit Uitslag Date: Tue, 21 Oct 2014 14:47:21 +0200 Subject: use phpdocs deprecated notation --- inc/plugincontroller.class.php | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'inc/plugincontroller.class.php') 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 { -- cgit v1.2.3