adding redis to php.ini