This bug was fixed in the package php-defaults - 60ubuntu1
---
php-defaults (60ubuntu1) bionic; urgency=medium
* Merge with Debian unstable (LP: #1743904). Remaining changes:
- d/{control{,.in}, php-module.control.in, rules}: bump to php7.2 as
the default.
+ Update
** Description changed:
php-defaults (57ubuntu1) bionic; urgency=medium
-
- * Merge with Debian unstable (LP: #1743904). Remaining changes:
- - d/control, d/rules: bump to php7.1 as the default.
- + Update text of d/control to refer to Ubuntu and 7.1 as well.
- + d/control
** Description changed:
php-defaults (57ubuntu1) bionic; urgency=medium
-
- * Merge with Debian unstable (LP: #1743904). Remaining changes:
- - d/control, d/rules: bump to php7.1 as the default.
- + Update text of d/control to refer to Ubuntu and 7.1 as well.
- + d/control