Comment 1 for bug 1748904

For the record, the deletion will only remove the current version of these packages; they will come back into Ubuntu if and when anyone ever does a new sourceful upload to unstable (which might be because they're fixing the incompatibility with the phpunit and php7.2 transitions, or might not).