I noticed the documentation says that the php-redis module needs to be v3.1.x or higher for it to work with Redis on PHP 7.0. The standard version shipped with Ubuntu 16.04 is 2.2.7, which the documentation explicitly mentions is compatible only with PHP 5.6.
I’ve done a bit of googling and found the source which you can compile yourself, and also a PHP PPA that would likely update several PHP components as well; both solutions sort of technical and (too?) comprehensive I guess.
So my questions is, how would one go about getting the newest version of the module in the best way for Ubuntu 16.04? (And also, should the answer be included in the documentation?)