Missing PHP extensions. Please install and enable them on your LibreNMS server. curl

my ubuntu install was upgraded to 18.04 recently and librenms has been (mostly) working ok since. Today however, i get the following when trying to access webui:

Missing PHP extensions. Please install and enable them on your LibreNMS server.
curl

Docs (https://docs.librenms.org/#Installation/Installation-Ubuntu-1604-Apache/) mention php7.0-curl is required, which was previously installed. Now, 7.2 is installed however librenms does not seem to detect it?

~$ sudo apt install php7.2-curl
Reading package lists… Done
Building dependency tree
Reading state information… Done
php7.2-curl is already the newest version (7.2.3-1ubuntu1).
0 to upgrade, 0 to newly install, 0 to remove and 1 not to upgrade.

~$ sudo /opt/librenms/validate.php

Component Version
LibreNMS 1.39-32-ge4bc55687
DB Schema 249
PHP 7.2.3-1ubuntu1
MySQL 5.7.22-0ubuntu18.04.1
RRDTool 1.7.0
SNMP NET-SNMP 5.7.3

====================================

[OK] Composer Version: 1.6.5
[OK] Dependencies up-to-date.
[OK] Database connection successful
[OK] Database schema correct

should i downgrade to 7.0 or is this an easy fix i should wait for? running daily.sh and retrying has not changed anything:

~$ sudo /opt/librenms/validate.php

Component Version
LibreNMS 1.39-37-g5fd81db81
DB Schema 249
PHP 7.2.3-1ubuntu1
MySQL 5.7.22-0ubuntu18.04.1
RRDTool 1.7.0
SNMP NET-SNMP 5.7.3

====================================

[OK] Composer Version: 1.6.5
[OK] Dependencies up-to-date.
[OK] Database connection successful
[OK] Database schema correct

You need to enable it.

If you are on ubuntu phpenmod curl

Otherwise, you might need to edit php.ini

got it, thanks.