added redis extension