Manuel Pear

PEAR::loadExtension()

PEAR::loadExtension() -- Chargeur d'extension PHP indépendant du système d'exploitation

Synopsis

  1. <?php
  2. require_once 'PEAR.php
  3. ?> 

boolean PEAR::loadExtension (string $ext)

Description

Charge une extension par son nom

Paramètres

chaîne de caractères $ext

Le nom sensible à la casse de l'extension PHP sans le suffix du nom du fichier ou le prefix php_.

Valeur retournée

boolean - retourne TRUE, si l'extension a pu être chargée

Note

Cette fonction peut être appelée de façon statique.

Exemple

Exemple 31-1. Chrgement de l'extension domxml

  1. <?php
  2. if(!PEAR::loadExtension("domxml")) {  
  3. echo 'Impossible de charger l\'extension DomXML !';  
  4. exit();  
  5. }  
  6.  
  7. ?> 

Remonter Remonter
L'éditeur javascript - CSS - Gentoo - Tutoriaux PHP - Tutoriels PHP - Bretagne - php - Moto - Kit graphique