modify php redis option class