Topic on Talk:Redis

Hi,

I looked over the code (from what i could see for Redis), and did not come across a function or setting that could be set in the array (wgObjectCaches / wgJobTypeConf) section to define what database to store data to. Right now, MediaWiki is storing all redis data in database 0 - which well, isn't quite ideal for my setup. I would like to have it stored in a database that is non-zero.

In doing so, I've attempted using the traditional way of appending /12 to the server array segment in the form of

From $wgObjectCaches['redis'] = array(

'servers'           => array( '192.168.20.206:6379/12' ),

From 'redisServer' within $wgJobTypeConf['default'] = [

  => array( '192.168.20.206:6379/12' ),

This does not work, and causes sessions to fail, and ultimately causes a 503 on the nginx server (running php 7.3 fpm).

So i come here to ask this... is there any support for MediaWiki to use a set database ID on Redis?

I've taken a look at the code, and agree it's not supported right now. I think what needs to happen is a select call in https://doc.wikimedia.org/mediawiki-core/master/php/RedisConnectionPool_8php_source.html (approx line 238) plus abstracting up the stack accordingly.