Ces fonctions ont été placées là, car
elles ne rentraient dans aucune catégorie adéquate.
Ces fonctions sont disponibles dans le module PHP
standard, qui est toujours accessible.
Il n'y pas d'installation nécessaire pour
utiliser ces fonctions, elles font parties du coeur de PHP.
Le comportement de ces fonctions est
affecté par la configuration dans le fichier php.ini.
Tableau 1. 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 | |
| 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 à
Annexe G.
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().
Cette extension ne définit aucune ressource.
Ces constantes sont définies par cette
extension, et ne sont disponibles que si cette extension a été compilée avec
PHP, ou bien chargée au moment de l'exécution.
- CONNECTION_ABORTED
(entier)
- CONNECTION_NORMAL
(entier)
- CONNECTION_TIMEOUT
(entier)
- __COMPILER_HALT_OFFSET__
(entier)
Ajouté en PHP 5.1.
Web
Ajouter ce moteur
