I'm trying to install Redis client in PHP. How do I do that? System os: Linux Gentoo PHP version: PHP7
Installing custom extensions in PocketMine's PHP distributions is usually very troublesome. Consider using a pure PHP library, such as https://github.com/cheprasov/php-redis-client