how do I enable dynamic redis library with laragon

My redis server version

$ redis-server --version
Redis server v=3.2.100 sha=00000000:0 malloc=jemalloc-3.6.0 bits=64 build=dd26f1f93c5130ee

I am using laragon with php 7.2.19

I downloaded this thing,

https://pecl.php.net/package/redis/4.1.0/windows

and put it inside

Laragon -> C:\laragon\bin\php\php-XXX\ext

added this in php.ini

extension=php_redis.dll

and then I restart the server . but I can't find redis here. & when I issue extension_loaded('redis:); I get a false in the shell.