Configuration à la PHP

From wiki
Revision as of 03:56, 29 January 2015 by imported>Johayek
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

php.ini for web applications[edit]

  • $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[edit]

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/MediaWikiDump.$(date +'%Y%m%d%H%M%S').xml.gz