Redis extension

上一篇文章已經為系統安裝好 Redis , 因為之後是要透過php來操作 Redis 所以要為php安裝 Redis 擴展。