Php-redis not recognised by php [solved]

Emoncms
5

My machine has missed an update, then, as emoncms/admin/view shows:

PHP

Version

7.0.33-0+deb9u3 (Zend Version 3.0.0)

How do I get emoncms to use php7.3?