This bug was fixed in the package php-horde-argv - 2.0.12-1ubuntu1
--------------- php-horde-argv (2.0.12-1ubuntu1) xenial; urgency=medium
* Update to PHP7.0 dependencies (LP: #1563120).
-- Nishanth Aravamudan <email address hidden> Mon, 28 Mar 2016 17:04:08 -0700
This bug was fixed in the package php-horde-argv - 2.0.12-1ubuntu1
---------------
php-horde-argv (2.0.12-1ubuntu1) xenial; urgency=medium
* Update to PHP7.0 dependencies (LP: #1563120).
-- Nishanth Aravamudan <email address hidden> Mon, 28 Mar 2016 17:04:08 -0700