Manual:RedisConnectionPool.php