original_string: public static function get_user_device_type() {
          $device = self::get_device_type();
          $switched = get_user_preferences('switchdevice'.$device, false);
          if ($switched != false) {
              return $switched;
          }
          return $device;
      }
code: public static function get_user_device_type() {
          $device = self::get_device_type();
          $switched = get_user_preferences('switchdevice'.$device, false);
          if ($switched != false) {
              return $switched;
          }
          return $device;
      }
code_tokens: public static function get_user_device_type ( ) { $ device = self :: get_device_type ( ) ; $ switched = get_user_preferences ( 'switchdevice' . $ device , false ) ; if ( $ switched != false ) { return $ switched ; } return $ device ; }
docstring: Gets the device type the user is currently using.
  @return string
docstring_tokens: Gets the device type the user is currently using .