Merge php redis extension