function mini_html($texte) { $texte = preg_replace(array(",[\n\r][\t\ ]*,",",\n+,"), "\n", $texte); return $texte; }