diff options
author | Christopher Smith <chris@jalakai.co.uk> | 2013-08-02 17:57:07 +0200 |
---|---|---|
committer | Christopher Smith <chris@jalakai.co.uk> | 2013-08-02 17:57:07 +0200 |
commit | 73012efd9607b31a4ddd7856761cd1dac5774eef (patch) | |
tree | df851943d43ddcc484d9b735b73e6b50eecde824 /inc/auth.php | |
parent | 020ea9e10577217f17372cb6510d872f9a5c647c (diff) | |
download | rpg-73012efd9607b31a4ddd7856761cd1dac5774eef.tar.gz rpg-73012efd9607b31a4ddd7856761cd1dac5774eef.tar.bz2 |
coding corrections. correct type hint, remove unused variable assignment
Diffstat (limited to 'inc/auth.php')
-rw-r--r-- | inc/auth.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/inc/auth.php b/inc/auth.php index 75ba9a9ba..a9d53779c 100644 --- a/inc/auth.php +++ b/inc/auth.php @@ -904,7 +904,7 @@ function updateprofile() { function auth_deleteprofile(){ global $conf; global $lang; - /* @var auth_basic $auth */ + /* @var DokuWiki_Auth_Plugin $auth */ global $auth; /* @var Input $INPUT */ global $INPUT; @@ -931,7 +931,7 @@ function auth_deleteprofile(){ } $deleted[] = $_SERVER['REMOTE_USER']; - if($result = $auth->triggerUserMod('delete', array($deleted))) { + if($auth->triggerUserMod('delete', array($deleted))) { // force and immediate logout including removing the sticky cookie auth_logoff(); return true; |