Filtter les extensions des fichiers php

Résolu
jobertomeu Messages postés 1189 Date d'inscription   Statut Membre Dernière intervention   -  
Harricote Messages postés 417 Date d'inscription   Statut Membre Dernière intervention   -
Bonjour,
j'ai fais un mini script me permettant de trouver tous les fichiers, dossiers etc... présents sur mon serveur à l'aide de scandir. je voudrais donc filtrer ces résultats, par exemple, si scan dir trouve ça :

- index.php
- index.html
- images
- intro.swf

etc...

moi je voudrais récupérer que les fichiers qui se finissent par .HTML

Merci
A voir également:

5 réponses

Harricote Messages postés 417 Date d'inscription   Statut Membre Dernière intervention   41
 
0
jobertomeu Messages postés 1189 Date d'inscription   Statut Membre Dernière intervention   86
 
ok, merci je vais aller voir
Mais, tu ne voudrais pas me donner ubn petit exemple s'il te plait ? parce que lire TOUT ça juste pour filtrer quelque chose ?

MErci
0
Harricote Messages postés 417 Date d'inscription   Statut Membre Dernière intervention   41
 
Un exemple :
<?php
$page = 'index.html';

if (preg_match("#.html#", $page) || preg_match("#.htm#", $page))
{
echo "Cette page est une page html !
}
else
{
echo "Cette page n'est pas une page html !
}
?>
0
jobertomeu Messages postés 1189 Date d'inscription   Statut Membre Dernière intervention   86
 
Oh, merci beacoup, c'est génial ! je pourrais enfin indexer mes page pour mon moteur de recherche ;)
0

Vous n’avez pas trouvé la réponse que vous recherchez ?

Posez votre question
Harricote Messages postés 417 Date d'inscription   Statut Membre Dernière intervention   41
 
Met résolu !
A+
0