Comment 12 for bug 1557599

Steve,

You are absolutely correct that there is a bug (missing functionality) in Ubuntu's pkg-php-tools. This is my fault due to syncing Debian's version too early (before release) and not versioning Ubuntu's properly. Please find attached a debdiff that properly merges us with pkg-php-tools 1.32, which includes the necessary bugfixes for us to simply sync the other three packages referred to in this bug. We will still need to carry a delta for php-json's message change, but that is already fixed upstream in (pkg-php-tools 1.33~) so we will be able to drop the delta on the next sync.