Bug#838529: override: kdevelop-php-docs:oldlibs/extra

[Pino Toscano]

Package: ftp.debian.org
Severity: normal

Hi,

please change section & priority of kdevelop-php-docs as oldlibs/extra,
as its content has been merged into kdevelop-php, and this package is
left as transitional.

Thanks,
-- 
Pino