Configuration à la PHP

php.ini for web applications

• $HOME/public_html/cgi-bin/php.ini – my web-space provider created this file for me (of course with reasonable port numbers, and $HOME was also properly expanded):

mysql.default_port=____
mysql.default_socket=$HOME/mysql/mysql.sock
mysqli.default_port=____
mysqli.default_socket=$HOME/mysql/mysql.sock

The path is probably hard-wired into the PHP interpreter.

php.ini for command line applications

If you call php on a command line, you can tell it, which php.ini to use throught option -c:

$ php -c $HOME/public_html/cgi-bin/php.ini …

This way you can tell the usual MediaWiki PHP utilitiies their system settings:

$ php -c $HOME/public_html/cgi-bin/php.ini dumpBackup.php --full \
    --output=gzip:$HOME/www/tmp/dump.$(date +'%Y%m%d%H%M%S').xml.gz