Configuration à la PHP

From wiki
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):

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