[pkg-php-pear] Bug#1128526: php-di: missing /usr/share/pkg-php-tools/overrides/php-di

[Thomas Uhle]

Package: php-di
Version: 7.1.1-1
Severity: serious
Tags: patch
Control: affects -1 + src:php-di-slim-bridge
Control: block 1128521 by -1

Dear maintainers,

dh_phpcomposer translates php-di/php-di from composer.json to php-php-di 
in ${phpcomposer:Debian-require} in debian/control unless you put a file 
in /usr/share/pkg-php-tools/overrides/ with the one-liner:

php-di php-di php-di

I have prepared a patch for your convenience.

Best regards,

Thomas Uhle