How can I find the php.ini file used by the command line