Référence des fonctions
PHP Manual

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.

Options de configuration
NomPar défaut ModifiableHistorique
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 à 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().

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.

Table of Contents


Référence des fonctions
PHP Manual