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