Gevonden! Excuses voor een misverstand, maar al deze situatie is echt verwarrend voor iemand die zo weinig over serverbeheer heeft. Hoe dan ook, hieronder is mijn oplossing.
http://code.google.com/p/pel-win/downloads/detail?name=php_redis-2.1.3-5.3-ts.dll&can=2&q=
Bovenstaande link biedt een .dll-bestand, dat in mijn geval moet worden gekopieerd naar:C:\xampp\php\ext
en voeg een regel toe aan het php.ini-bestand extension=php_redis.dll
en herstart ten slotte de apache2-service.
En dat is alles, er hoeft niets te worden geïnstalleerd, zolang de redis-server al actief is, zorgt dit voor verbinding tussen php en redis!
2020-05-06-update
Het lijkt erop dat de vorige url alleen verouderde dll-bestanden bevat.@Niz heeft in de opmerkingen een bijgewerkte url gegeven waar u de juiste versie van redis DLL voor uw Windows kunt downloaden. Zorg ervoor dat u degene downloadt die overeenkomt met uw redis- en php-versies.
https://pel.php.net/package/redis