added redis php ext. for sessions.