Configuration à la PHP

php.ini for web applications

• $HOME/public_html/cgi-bin/php.ini

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

I have no idea, how that …/php.ini gets found.

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