This bug was fixed in the package php-horde-text-diff - 2.1.2-1ubuntu1
--------------- php-horde-text-diff (2.1.2-1ubuntu1) xenial; urgency=medium
* Update to PHP7.0 dependencies (LP: #1564037).
-- Nishanth Aravamudan <email address hidden> Wed, 30 Mar 2016 12:10:41 -0700
This bug was fixed in the package php-horde-text-diff - 2.1.2-1ubuntu1
---------------
php-horde-text-diff (2.1.2-1ubuntu1) xenial; urgency=medium
* Update to PHP7.0 dependencies (LP: #1564037).
-- Nishanth Aravamudan <email address hidden> Wed, 30 Mar 2016 12:10:41 -0700