You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm upgrading my php version from 7.0.6 to the latest version, but found that redis extension cannot be correctly installed. And the reason is that the direction /usr/src/php/ext does not exist.
But it did existed in earlier version of PHP docker, and the action of creating /usr/src/php was deleted in commit f016f5d.
I just don't know why it is deleted. Is it moved to somewhere, or what should I do to install Redis?