How to install PHP extension

I am pulling my hair for the moment trying to work with redis database in PHP. After some discussion, I was told that this PHP extension would do the trick for me: http://github.com/owlient/phpredis

How can开发者_开发知识库 I install it on my development server which runs WinXP? Does it need compiling to become a Windows-supported .dll-file?

Thanks

I have compiled a binary for php 5.3 here. To install it just download and put the dll in the php extensions directory and add the extension to php.ini.

https://github.com/char101/phpredis/downloads