The REDIS backend RedisConnectionPool.php and RedisBagOStuff.php do not support to select a DB index.
I'd like to add an additional connection option that allows just that. How do you like the option name dbindex?
e.g.:
$wgObjectCaches['redis'] = array( 'class' => 'RedisBagOStuff', 'servers' => array( '127.0.0.1:6379' ), // 'connectTimeout' => 1, // 'persistent' => false, // 'password' => 'secret', // 'automaticFailOver' => true, // 'dbindex' => 0, );
I can code it myself and send a PR. What do you think?