Aide-mémoire d'éléPHPant

Elephant PHP

Quelques toutes petites fonctions aide-mémoire PHP, qui me sont utiles depuis quelques années :

function getmicrotime() {
 $mtime=microtime();
 $mtime=explode(' ',$mtime);
 $mtime=$mtime[1] + $mtime[0];
 return $mtime;
}

Renvoie un temps local du serveur en microsecondes, pratique pour effectuer des benchs sur des scripts (récupérer le temps au début, à la fin et faire une soustraction)

function checkemail($email) {
return eregi('^[_a-z0-9-]+(\.[_a-z0-9-]*)*@[a-z0-9-]+(\.[a-z0-9-]+)+$', $email);
}

Renvoie true si la syntaxe de l'e-mail passé en argument est correcte

A noter aussi que PHP 5 a enfin été released.

Quelques découvertes en vrac, en plus des principales annoncées, concernant l'utilisation de PHP en ligne de commande :

  • Sous win, php.exe a une icône (woawoaw).
  • Il est toujours possible d'exécuter un script localement sans serveur web grâce à la commande php.exe -f script.php (simple rappel car cela est très utile pour ceux qui veulent coder en vitesse des petits outils sans vouloir se plonger dans le C).
  • Par contre php.exe ne dispose plus de l'option -q (Quiet-mode, qui supprime la sortie des headers HTTP, très utile avec l'option -f) car elle est implicite.
  • D'autres options à découvrir (-r, -B, -R, -F, -E, -H) en tapant php -? en ligne de commande.

Il paraît qu'il serait désormais possible de compiler le tout, mais pour l'instant cela dépendrait d'une application payante.

Enfin, la version CGI se nomme php-cgi.exe (auparavant php.exe) et la version CLI se trouve dans le répertoire racine (avant cli/php.exe). Un nouveau mode intéressant a également été introduit : php-win.exe. Qui est une CLI mais qui n'ouvre pas de console (comme php-gtk).

Voir aussi les nouvelles fonctions introduites.

4 commentaires pour “Aide-mémoire d'éléPHPant”

  1. De passage dit :

    eregi() retourne déjà un booléen. Le if() est donc inutile et la fonction peut s’écrire :
    function checkemail(…)
    {
    return eregi(…);
    }

  2. dew dit :

    tout à fait, de vieilles habitudes à perdre :) merci pour cet ajout.

  3. Roman2K dit :

    On peut aussi utiliser le caractère "+" dans les adresses e-mail.

    function checkemail($email) {
    return eregi(‘^[_\+a-z0-9-]+(\.[_a-z0-9-]*)*@[\+a-z0-9-]+(\.[a-z0-9-]+)+$’, $email);
    }

  4. Vince dit :

    Super initiative !

    Amicalement,

Laisser un commentaire