[imp] configuration option "php_ini" is not set to php.ini location

[trash at skrilnetz.net]

Hi,

I just upgraded to 5.2.5 and I got the below on the command line.
All seems to be working well. Do I need to make any changes anyway?

configuration option "php_ini" is not set to php.ini location
You should add "extension=horde_lz4.so" to php.ini
configuration option "php_ini" is not set to php.ini location
You should add "extension=horde_lz4.so" to php.ini
configuration option "php_ini" is not set to php.ini location
You should add "extension=igbinary.so" to php.ini
configuration option "php_ini" is not set to php.ini location
You should add "extension=horde_lz4.so" to php.ini
configuration option "php_ini" is not set to php.ini location
You should add "extension=igbinary.so" to php.ini
configuration option "php_ini" is not set to php.ini location
You should add "extension=mongo.so" to php.ini

Thanks.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-keys
Size: 1718 bytes
Desc: PGP Public Key
URL: <http://lists.horde.org/archives/imp/attachments/20150408/9d5d4cda/attachment.bin>