Obtenir l'extention d'un fichier d'une url

Information

2 méthodes différentes pour connaitre l’extension d'un fichier contenu dans une url et la placer dans une variable.

Matt

18 Fév 2007

Code Source à télécharger

Information sur les mises à jour

Dernière mise à jour :

13 Aout 2019

10 945 vues

Compatibilité du code

PHP 5, PHP 7 et PHP 8

code source classé dans Fichiers-répertoires

01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

                               
                            /*------------------------------*/
/*
 Titre : Obtenir l'extention d'un fichier d'une url                                                                       
                                                                                                                          
 Auteur           : Matt                                                                                                  
 Date édition     : 18 Fev 2007                                                                                          
 Date mise a jour : 13 Aout 2019
                                                                                         
 Rapport de la maj:                                                                                                       
  - fonctionnement du code vérifié                                                                                  
*/
/*------------------------------*/?>
    Pour commencer, vous pouvez utiliser la fonction parse_url pour connaitre le
  chemin

<?php
    $url       = 'https://exemple.fr/page.php';
    $partie_url = parse_url($url);
?>

    1ere méthode:
    Dans cette exemple, $partie_url['path'] sera égal à  "/page.php".
    Après, vous devez utiliser une expression régulière pour extraire
 l'extension du fichier

<?php
    $extention = preg_replace("#^.+\\.([^.]+)$#", "\\1", $partie_url['path']);
    echo $extention;
    // Affiche
    // php
?>

    2eme méthode:
    vous pouvez utiliser 2 fonctions de chaine comme suit :

<?php
    $extention = substr(strrchr($url, "."), 1);
    echo $extention;
    // Affiche
    // php
?>

Fonctions du code - Doc officielle PHP

php.net	Description	Versions PHP
echo	Affiche une chaîne de caractères	PHP 4, 5, 7 et 8

parse_url	Analyse une URL et retourne ses composants	PHP 4, 5, 7 et 8

preg_replace	Rechercher et remplacer par expression rationnelle standard	PHP 4, 5, 7 et 8

strrchr	Trouve la dernière occurrence d'un caractère dans une chaîne	PHP 4, 5, 7 et 8

substr	Retourne un segment de chaîne	PHP 4, 5, 7 et 8

[2]

KOogar
16 Jan 2008 à 11:07
Oui, c'est encore une autre méthode.

doc officielle:
$path_parts = pathinfo('/www/htdocs/index.html');
echo $path_parts['extension'], "\n";

Mais si tu met un domaine de ce genre : mon_ndd.free.fr, la fonction retourne fr seulement et faudra bien en passer par un regex pour capture l'extention complete. pourquoi pas commencer maintenant a travailler avec des regex?
Palleas
16 Jan 2008 à 08:18
Sinon tu peux ne pas réinventer la roue et utiliser pathinfo() :]