original_string: public function getDefaultRedis(): ?Connection
      {
          // From Laravel 5.4, the redis facade now returns the
          // Redis Manager, which is why we must use it to obtain
          // the default Redis connection. Thus, the
          // "Illuminate\Contracts\Redis\Database" interface is no
          // longer used.
          $factory = Redis::getFacadeRoot();
          if (isset($factory)) {
              return $factory->connection();
          }
          return $factory;
      }
code: public function getDefaultRedis(): ?Connection
      {
          // From Laravel 5.4, the redis facade now returns the
          // Redis Manager, which is why we must use it to obtain
          // the default Redis connection. Thus, the
          // "Illuminate\Contracts\Redis\Database" interface is no
          // longer used.
          $factory = Redis::getFacadeRoot();
          if (isset($factory)) {
              return $factory->connection();
          }
          return $factory;
      }
code_tokens: public function getDefaultRedis ( ) : ? Connection { // From Laravel 5.4, the redis facade now returns the // Redis Manager, which is why we must use it to obtain // the default Redis connection. Thus, the // "Illuminate\Contracts\Redis\Database" interface is no // longer used. $ factory = Redis :: getFacadeRoot ( ) ; if ( isset ( $ factory ) ) { return $ factory -> connection ( ) ; } return $ factory ; }
docstring: Get a default redis value, if any is available
  
  @return Connection|null A default redis value or Null if no default value is available
docstring_tokens: Get a default redis value if any is available