Clarification on Constants for Redis Groups

Hi there,

I’d like to clarify whether the following wp-config.php constants are officially supported and interpreted correctly by the plugin:

define('WP_REDIS_DATABASE', 1);
define('WP_REDIS_MAXTTL', 3600);
define('WP_REDIS_SELECTIVE_FLUSH', true);
define('WP_REDIS_DISABLED_GROUPS', [
  'users',
  'user_meta',
  'session_tokens'
]);
define('WP_REDIS_IGNORED_GROUPS', [
  'counts',
  'plugins',
  'themes',
  'userlogins',
  'users',
  'user_meta',
  'session_tokens',
]);

Specifically, I’d like to confirm two things:

1. Are WP_REDIS_DISABLED_GROUPS and WP_REDIS_IGNORED_GROUPS officially recognized by the plugin? I want to ensure the arrays above are valid and that the plugin will actually respect these groups.
2. Is the array syntax ([]) fully supported for these constants, or does the plugin expect a different format (e.g., comma-separated strings, serialized values, or PHP 5.3+ array syntax)?

Everything is working normally on my site, but I want to make sure these constants are being read and applied as intended.

Thanks in advance!