diff options
Diffstat (limited to 'inc/Action/Admin.php')
| -rw-r--r-- | inc/Action/Admin.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/Action/Admin.php b/inc/Action/Admin.php index cc6dfd74f..1c9afd6b9 100644 --- a/inc/Action/Admin.php +++ b/inc/Action/Admin.php @@ -28,7 +28,7 @@ class Admin extends AbstractUserAction { // retrieve admin plugin name from $_REQUEST['page'] if(($page = $INPUT->str('page', '', true)) != '') { - /** @var $plugin \DokuWiki_Admin_Plugin */ + /** @var $plugin \dokuwiki\Extension\AdminPlugin */ if($plugin = plugin_getRequestAdminPlugin()) { // FIXME this method does also permission checking if(!$plugin->isAccessibleByCurrentUser()) { throw new ActionException('denied'); |