PHP redis extension added