original_string: public function userLogOut()
      {
          $result = $this->user_action->logout();
          $this->redirect($result['redirect'], $result['message'], $result['severity']);
      }
code: public function userLogOut()
      {
          $result = $this->user_action->logout();
          $this->redirect($result['redirect'], $result['message'], $result['severity']);
      }
code_tokens: public function userLogOut ( ) { $ result = $ this -> user_action -> logout ( ) ; $ this -> redirect ( $ result [ 'redirect' ] , $ result [ 'message' ] , $ result [ 'severity' ] ) ; }
docstring: Logs out a user
docstring_tokens: Logs out a user