Sesiones en redis con php