Installation
Types de ressources
Installation/Configuration
PHP Manual

## Configuration à l'exécution

Le comportement de ces fonctions est affecté par la configuration dans le fichier php.ini.

Options de configuration
Nom | Par défaut | Modifiable | Historique
--- | --- | --- | ---
ignore_user_abort | "0" | PHP_INI_ALL |
highlight.string | "#DD0000" | PHP_INI_ALL |
highlight.comment | "#FF8000" | PHP_INI_ALL |
highlight.keyword | "#007700" | PHP_INI_ALL |
highlight.bg | "#FFFFFF" | PHP_INI_ALL | Supprimé en PHP 6.0.0.
highlight.default | "#0000BB" | PHP_INI_ALL |
highlight.html | "#000000" | PHP_INI_ALL |
browscap | NULL | PHP_INI_SYSTEM |

Pour plus de détails sur les constantes PHP_INI_*, reportez-vous à Directives du php.ini.

Voici un éclaircissement sur l'utilisation des directives de configuration.

`ignore_user_abort` bool

  `FALSE` par défaut. Si changée à `TRUE` les scripts ne se termineront pas après que l'annulation par le client de leur connexion.

  Voir aussi ignore_user_abort().

`highlight.bg` string
`highlight.comment` string
`highlight.default` string
`highlight.html` string
`highlight.keyword` string
`highlight.string` string

  Couleurs utilisées pour le mode de coloration syntaxique. Ces options peuvent prendre n'importe quelles valeurs valides dans <font color="??????">.

`browscap` string

  Nom du fichier de descriptif des clients HTML. (e.g.: browscap.ini) Voir aussi get_browser().

Installation
Types de ressources
Installation/Configuration
PHP Manual