This bug was fixed in the package php7.1 - 7.1.11-0ubuntu0.17.10.1
--------------- php7.1 (7.1.11-0ubuntu0.17.10.1) artful; urgency=medium
* New upstream release (7.1.11) - LP: #1729036
-- Nishanth Aravamudan <email address hidden> Wed, 01 Nov 2017 09:30:52 -0700
This bug was fixed in the package php7.1 - 7.1.11- 0ubuntu0. 17.10.1
--------------- 0ubuntu0. 17.10.1) artful; urgency=medium
php7.1 (7.1.11-
* New upstream release (7.1.11)
- LP: #1729036
-- Nishanth Aravamudan <email address hidden> Wed, 01 Nov 2017 09:30:52 -0700