Redis deprecated - enableExtensions doesn't work

[kkmuffme]

Deprecation: Psalm stubs for ext-redis loaded using legacy way. Instead, please declare ext-redis as dependency in composer.json or use directive in Psalm config.

But when I add it, I get:

Problem parsing psalm-dev-debug.xml:
Error on line 15:
Element '{https://getpsalm.org/schema/config}extension', attribute 'name': [facet 'enumeration'] The value 'redis' is not an element of the set {'decimal', 'dom', 'ds', 'geos', 'gmp', 'mongodb', 'mysqli', 'pdo', 'simplexml', 'soap', 'xdebug'}.

Psalm 5.4.0@62db5d4f6a7ae0a20f7cc5a4952d730272fc0863

[psalm-github-bot]

Hey @kkmuffme, can you reproduce the issue on https://psalm.dev ?

[orklah]

Fixed here: 903c00c

Can't release yet until #9034 is sorted out