diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2013-10-20 11:30:51 -0700 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2013-10-20 11:30:51 -0700 |
| commit | d9529222b05d3366179c8a5bbd6d717664b98de0 (patch) | |
| tree | 7789b8bc9ee9405f0ce33ff19dad5d15fb9b6207 /inc/html.php | |
| parent | 9f5b9cf15569babaa90f0d6f3dd58cefd5439bc5 (diff) | |
| parent | e07886c01389351f28a254ef6f7c9611453508fb (diff) | |
| download | rpg-d9529222b05d3366179c8a5bbd6d717664b98de0.tar.gz rpg-d9529222b05d3366179c8a5bbd6d717664b98de0.tar.bz2 | |
Merge pull request #380 from splitbrain/phpstrict
Php strict
Diffstat (limited to 'inc/html.php')
| -rw-r--r-- | inc/html.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/inc/html.php b/inc/html.php index a13c9e58c..bbe29e371 100644 --- a/inc/html.php +++ b/inc/html.php @@ -1661,7 +1661,7 @@ function html_admin(){ global $ID; global $INFO; global $conf; - /** @var auth_basic $auth */ + /** @var DokuWiki_Auth_Plugin $auth */ global $auth; // build menu of admin functions from the plugins that handle them @@ -1669,7 +1669,7 @@ function html_admin(){ $menu = array(); foreach ($pluginlist as $p) { /** @var DokuWiki_Admin_Plugin $obj */ - if($obj =& plugin_load('admin',$p) === null) continue; + if(($obj = plugin_load('admin',$p)) === null) continue; // check permissions if($obj->forAdminOnly() && !$INFO['isadmin']) continue; |