Auf einfache Weise die Endung einer Datei ermitteln. Dazu genügen folgende Zeilen: $filename = ‚grafik.jpg‘; $file = pathinfo($filename); echo $file[‚extension‘]; // output: jpg[/php]
Auf einfache Weise die Endung einer Datei ermitteln. Dazu genügen folgende Zeilen: $filename = ‚grafik.jpg‘; $file = pathinfo($filename); echo $file[‚extension‘]; // output: jpg[/php]
Diese kleine Funktion reduziert mehrere Leerzeichen auf ein Leerzeichen und spart auf diese Weise Speicherplatz /* Reduziert mehrere Spaces auf ein Space Usage: $result = spaces2space($variable); */function spaces2space($variable) { return (!is_array($variable)) ? preg_replace(‚/ss+/‘, ‚ ‚, $variable) : array_map(’spaces2space‘,$variable);}[/php]
Um in WordPress eine Liste mit 10 Postings auszugeben, genügt es, diese Zeile in das Template an entsprechender Stelle einbauen.