Redis connector for php