This bug was fixed in the package php7.1 - 7.1.11-0ubuntu1
--------------- php7.1 (7.1.11-0ubuntu1) bionic; urgency=medium
* New upstream release (7.1.11) - LP: #1729036
-- Nishanth Aravamudan <email address hidden> Tue, 31 Oct 2017 15:39:09 -0700
This bug was fixed in the package php7.1 - 7.1.11-0ubuntu1
---------------
php7.1 (7.1.11-0ubuntu1) bionic; urgency=medium
* New upstream release (7.1.11)
- LP: #1729036
-- Nishanth Aravamudan <email address hidden> Tue, 31 Oct 2017 15:39:09 -0700