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

2 methodes differentes pour connaitre l'extention d'un fichier contenu dans une url et la placer dans une variable.

Tous les codes

Matt

Site de l'auteur voir

[13] sources en PHP voir

Code vu 5260 fois

Enregistré le 18 Fév 2007

téléchargement du zip

impression de la fiche

Code Source

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.
42.
43.

<?php
/******************************************************************************/
/*                                                                            */
/*                       __        ____                                       */
/*                 ___  / /  ___  / __/__  __ _____________ ___               */
/*                / _ \/ _ \/ _ \_\ \/ _ \/ // / __/ __/ -_|_-<               */
/*               / .__/_//_/ .__/___/\___/\_,_/_/  \__/\__/___/               */
/*              /_/       /_/                                                 */
/*                                                                            */
/*                                                                            */
/******************************************************************************/
/*                                                                            */
/* Titre          : Obtenir l'extention d'un fichier d'une url                */
/*                                                                            */
/* URL            : http://www.phpsources.org/scripts226-PHP.htm              */
/* Auteur         : Matt                                                      */
/* Date édition   : 18 Fév 2007                                               */
/* Website auteur : http://www.france-relations.com                           */
/*                                                                            */
/******************************************************************************/
?>
Pour commencer, vous pouvez utiliser la fonction parse_url pour connaitre le chemin

<?php
$url       = 'http://www.phpsources.org/phpsources.php';
$partie_url = parse_url($url);
?>

1ere methode:
Dans cette exemple, $partie_url['path'] sera égal à "/phpsources.php". 
Aprés, vous pouvez utiliser une expression pour extraire l'extension du fichier

<?php
$extention = ereg_replace("^.+\\.([^.]+)$", "\\1", $partie_url['path']);
?>

2eme methode:
vous pouvez utiliser 2 fonctions de chaine comme suit :

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

Tous les codes Fichiers-Répertoires

Fonctions du code

parse_url

: Analyse une URL et retourne ses composants - (PHP 4, PHP 5)

ereg_replace

: >Remplacement par expression rationnelle - (PHP 4, PHP 5)

strrchr

: Trouve la dernière occurrence d'un caractère dans une chaîne - (PHP 4, PHP 5)

substr

: Retourne un segment de chaîne - (PHP 4, PHP 5)

Commentaires

Palleas
Le 16 Jan 2008 à 08:18:00

Sinon tu peux ne pas réinventer la roue et utiliser pathinfo() :]

KOogar
Le 16 Jan 2008 à 11:07:00

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?

Ajouter un commentaire