original_string: function is_user_configured($user = null) {
          global $USER;
  
          if (is_null($user)) {
              $user = $USER;
          }
          return (bool)get_user_preferences('message_processor_jabber_jabberid', null, $user->id);
      }
code: function is_user_configured($user = null) {
          global $USER;
  
          if (is_null($user)) {
              $user = $USER;
          }
          return (bool)get_user_preferences('message_processor_jabber_jabberid', null, $user->id);
      }
code_tokens: function is_user_configured ( $ user = null ) { global $ USER ; if ( is_null ( $ user ) ) { $ user = $ USER ; } return ( bool ) get_user_preferences ( 'message_processor_jabber_jabberid' , null , $ user -> id ) ; }
docstring: Tests whether the Jabber settings have been configured on user level
  @param  object $user the user object, defaults to $USER.
  @return bool has the user made all the necessary settings
  in their profile to allow this plugin to be used.
docstring_tokens: Tests whether the Jabber settings have been configured on user level