Visualizzazione dei risultati da 1 a 6 su 6

Discussione: PHP: estensione file

  1. #1
    Utente di HTML.it
    Registrato dal
    Jan 2006
    Messaggi
    245

    PHP: estensione file

    Ciao a tutti mi servirebbe la funzione php per controllare l'estensione di un file. Grazie in anticipo

  2. #2
    Utente di HTML.it
    Registrato dal
    Oct 2002
    Messaggi
    240

    splitta con il punto

    Splitta il nome del file in base al punto

    list($nome, $ext) = explode ("miofile.ext");

  3. #3
    Utente di HTML.it L'avatar di andbin
    Registrato dal
    Jan 2006
    residenza
    Italy
    Messaggi
    18,284

    Re: PHP: estensione file

    Originariamente inviato da kasy
    Ciao a tutti mi servirebbe la funzione php per controllare l'estensione di un file. Grazie in anticipo
    Usa la funzione pathinfo (che è fatta apposta per queste cose):

    codice:
    $fn = "prova.txt";
    
    $ext = pathinfo ($fn, PATHINFO_EXTENSION);
    Andrea, andbin.devSenior Java developerSCJP 5 (91%) • SCWCD 5 (94%)
    java.util.function Interfaces Cheat SheetJava Versions Cheat Sheet

  4. #4
    Utente di HTML.it L'avatar di nicola75ss
    Registrato dal
    Nov 2004
    Messaggi
    12,922
    $estensione = array_pop(explode(".",$nomefile));

  5. #5

    Re: splitta con il punto

    Originariamente inviato da shadir
    Splitta il nome del file in base al punto

    list($nome, $ext) = explode ("miofile.ext");
    e in caso di canalis.jpg.exe?

    conviene fare l'explode e prendere l'ultimo valore (--count) dell'array ottenuto
    più sicuro

    pathinfo sembra ancora meglio

  6. #6
    Anche pathinfo nel caso di canalis.jpg.exe ti restituirà exe

Permessi di invio

  • Non puoi inserire discussioni
  • Non puoi inserire repliche
  • Non puoi inserire allegati
  • Non puoi modificare i tuoi messaggi
  •  
Powered by vBulletin® Version 4.2.1
Copyright © 2025 vBulletin Solutions, Inc. All rights reserved.