This bug was fixed in the package php7.1 - 7.1.10-0ubuntu1
--------------- php7.1 (7.1.10-0ubuntu1) bionic; urgency=medium
* New upstream release (7.1.0) - LP: #1724902
-- Nishanth Aravamudan <email address hidden> Fri, 27 Oct 2017 14:17:28 -0700
This bug was fixed in the package php7.1 - 7.1.10-0ubuntu1
---------------
php7.1 (7.1.10-0ubuntu1) bionic; urgency=medium
* New upstream release (7.1.0)
- LP: #1724902
-- Nishanth Aravamudan <email address hidden> Fri, 27 Oct 2017 14:17:28 -0700