https://doc.wikimedia.org/mediawiki-core/master/php/RedisConnectionPool_8php_source.html
MediaWiki: includes/libs/ObjectCache/RedisConnectionPool.php Source File
mediawikiincludeslibsphpsource
https://doc.wikimedia.org/mediawiki-core/REL1_39/php/classRedisConnectionPool.html
MediaWiki: RedisConnectionPool Class Reference
mediawikiclassreference