导读：Redis是一种开源的内存数据结构存储系统，它支持多种数据结构，如字符串、哈希表、列表等。在PHP中，我们可以通过扩展来使用Redis，本文将介绍如何安装Redis扩展。

1. 安装Redis服务器

首先，我们需要安装Redis服务器。可以通过以下命令在Ubuntu上安装：

sudo apt-get update

sudo apt-get install redis-server

2. 下载Redis扩展

接下来，我们需要下载Redis扩展。可以从PECL网站上下载最新版本的Redis扩展。在命令行中执行以下命令：

pecl install redis

3. 配置php.ini文件

安装完成后，我们需要在php.ini文件中配置Redis扩展。可以通过以下命令打开php.ini文件：

sudo nano /etc/php/7.2/cli/php.ini

在文件末尾添加以下内容：

extension=redis.so

4. 重启PHP服务

完成以上步骤后，我们需要重启PHP服务以使更改生效。可以通过以下命令重启PHP服务：

sudo service php7.2-fpm restart

5. 测试Redis扩展

现在，我们可以测试Redis扩展是否正常工作。可以通过以下代码进行测试：

$redis = new Redis();

$redis->connect('127.0.0.1', 6379);

$redis->set('name', 'John');

echo $redis->get('name');

如果输出“John”，则说明Redis扩展已成功安装并正常工作。

总结：通过以上步骤，我们可以在PHP中使用Redis扩展。首先安装Redis服务器，然后下载Redis扩展并配置php.ini文件，最后重启PHP服务即可。测试Redis扩展是否正常工作。