在Windows服务器中添加PHP的Redis扩展，需要进行以下步骤：
1. 下载Redis扩展和依赖库：
从https://windows.php.net/downloads/pecl/releases/redis/下载适用于Windows的Redis扩展。选择适用于你使用的PHP版本的Redis扩展文件。下载后，将解压缩后的php_redis.dll文件复制到php/ext目录下。
Redis扩展需要php_redis.dll文件以外的dll文件作为依赖库。可以从https://windows.php.net/downloads/pecl/deps/下载依赖库，或者下载PECL的standalone package。将所有dll文件复制到redis扩展的目录下。
2. 编辑php.ini文件：
在php.ini文件中添加以下几行：
extension_dir = "ext"
extension=php_redis.dll
[redis]
redis.arrays.algorithm=consistent
redis.arrays.auth = false
redis.arrays.autorehash = false
redis.arrays.connecttimeout = 0
redis.arrays.distributor = ""
redis.arrays.functions = ""
redis.arrays.hosts0.host = "127.0.0.1"
redis.arrays.hosts0.port = 6379
redis.arrays.hosts1.host = "127.0.0.1"
redis.arrays.hosts1.port = 6380
其中extension_dir设置扩展程序所在的目录，extension设置扩展程序的名称。[redis]开头的部分是Redis扩展的配置选项，这里使用了redis.cluster配置。当然，也可以使用单独的redis服务。
3. 重启web服务器：
编辑完php.ini后，需要重启web服务器才能生效。
4. 测试是否安装成功：
在网站页面或者CLI中，使用phpinfo()函数查询PHP的配置，是否包含redis扩展。如果成功安装则会展示类似于以下的信息：
Redis Support
Enabled
Redis Version
2.2.5
Available serializers
php, igbinary
Registered PHP Streams
redis, redis
如果没有展示，则需要检查php.ini文件是否添加了redis扩展和是否重启web服务器。
在PHP代码中使用redis扩展的方法：
如果需要通过phpredis对redis进行的操作，如创建连接、设置、获取、删除值等，可以使用以下PHP代码：
$redis = new Redis(); //如果通过redis-Server进行操作，则第一个参数应该填写redis-server的IP地址，第二个参数是port值。
$redis->connect('127.0.0.1', 6379);
$redis->set('test_key', 'test_value'); //设置key值
echo $redis->get('test_key'); //获取key值
以上就是在Windows服务器中添加PHP-Redis扩展的具体步骤。