Manuel PHP
Précédent |  | Suivant

# LXXXVIII. Fonctions diverses

# Introduction

Ces fonctions ont été placées là, car elles ne rentraient dans aucune catégorie adéquate.

# Pré-requis

Ces fonctions sont disponibles dans le module PHP standard, qui est toujours accessible.

# Installation

Il n'y pas d'installation nécessaire pour utiliser ces fonctions, elles font parties du coeur de PHP.

# Configuration à l'exécution

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().

# Types de ressources

Cette extension ne définit aucune ressource.

# Constantes pré-définies

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.

Précédent | Sommaire | Suivant
ming_useswfversion | Niveau supérieur | connection_aborted