Paul Fuchs – Web Dev – Bugs et astuces en tout genre

Depuis le temps que j’en cherchais un, j’ai fini par trouver mon bonheur : un convertisseur BBCode en HTML en PHP ! Et surtout : sans code superflu ! (Voir en fin d’article le lien pour télécharger le fichier) Petite explication et exemple d’utilisation : <? // inclusion du fichier require_once (‘/inc_cg_filter.php’); // déclaration d’une […]

Il y a plusieurs façons de déterminer le format d’une image en php, entre autre en passant par les constantes IMAGETYPE… Elles ont été ajoutées avec PHP 4.3 et comme je suis sympa, je vous donne les correspondances : 1 = GIF 2 = JPG 3 = PNG 4 = SWF 5 = PSD 6 […]

Les dates dans les flux rss doivent être relativement pointilleuses pour pouvoir réussir le test du terrible « feedvalidator »… Voici quelques fonctions de bases qui vous permettront d’obtenir facilement des dates « W3C Compliant » La première fonction est à appeler avec en paramètre le timestamp de la date que l’on souhaite convertir. <? function formate_date_flux_rss($date_origine) { $temp […]