[php-maint] Bug#817769: Bug#817769: Bug#817769: problem with include_path

[Ivan Sergio Borgonovo]

On 03/10/2016 11:38 AM, Ondřej Surý wrote:
> You might be right, the PHP packages stopped building PEAR between
> 5.6.18 and 5.6.19, because it's a separate source package now and
> perhaps the defaults has changed because of this.
>
> I'll investige more later this or next week.

BTW if it can be of help to diagnose the problem, php7 on my workstation 
seems unaffected

ivan at gloom:~$ php7.0 -r 'echo(get_include_path());'
.:/usr/share/php:

But here I dont have php5 installed.

On the other hand on my home server
php7.0-common and php7.0-xml were installed as dependencies of something 
but no other php7 package was installed.

-- 
Ivan Sergio Borgonovo
http://www.webthatworks.it