I\'m going crazy about this error. I\'ve got a vagrant VM with Debian 7, generated with Puphpet, installation was fine.
Install Redis extension on your PC.
Download the CORRECT version the DDL from the following link: https://pecl.php.net/package/redis/4.1.0/windows
Put the dll in the correct folder
Wamp -> C:\wamp\bin\php\php-XXXX\ext
Laragon -> C:\laragon\bin\php\php-XXX\ext
Edit the php.ini
file adding
extension=php_redis.dll
Restart server and check phpinfo();
. Now Redis should be there!