PHP7出来不久，很多扩展都不全。这是一个 redis扩展，来自于upupw。四个文件，有32位也有64位。请大家根据自己的选择。