This bug was fixed in the package php-sabredav - 1.8.12-3ubuntu2
--------------- php-sabredav (1.8.12-3ubuntu2) bionic; urgency=medium
* Switch to PHPUnit 6's namespaced classes (LP: #1750041).
-- Matt Coleman <email address hidden> Mon, 19 Feb 2018 21:59:44 -0500
This bug was fixed in the package php-sabredav - 1.8.12-3ubuntu2
---------------
php-sabredav (1.8.12-3ubuntu2) bionic; urgency=medium
* Switch to PHPUnit 6's namespaced classes (LP: #1750041).
-- Matt Coleman <email address hidden> Mon, 19 Feb 2018 21:59:44 -0500