Holaz a todos 
piccolo promemoria per estrarre dal nome di un file, la sua estenzione.
Ho optato per un semplice scriptino in PHP che mi è tornato molto utile:
<?php function getExt($fName) { $ext = explode( ".", $fName ); return strtoupper( $ext[ count( $ext ) - 1 ] ); } $file = "pagina.class.php"; print getExt($file); ?> |
Basta richiamarsi tale funzione getExt() e vi ritornerà indietro l’estenzione del file controllato.
Enjoy