如何在Windows上为PHP安装Redis扩展？

Question

我想为PHP安装Redis扩展。

我有Redis版本3.2.100和PHP版本7.3.1。

有人可以帮助我吗？我需要什么dll或我需要做什么？

我已经安装了redis扩展程序，但是后来我更新了XAMPP，但是忘记了安装时遵循的步骤。