Filtter les extensions des fichiers php

Résolu/Fermé
jobertomeu Messages postés 1189 Date d'inscription dimanche 19 août 2007 Statut Membre Dernière intervention 5 février 2015 - 31 mars 2009 à 19:06
Harricote Messages postés 417 Date d'inscription mercredi 21 janvier 2009 Statut Membre Dernière intervention 30 janvier 2011 - 31 mars 2009 à 20:04
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 mercredi 21 janvier 2009 Statut Membre Dernière intervention 30 janvier 2011 41
31 mars 2009 à 19:11
0
jobertomeu Messages postés 1189 Date d'inscription dimanche 19 août 2007 Statut Membre Dernière intervention 5 février 2015 86
31 mars 2009 à 19:17
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 mercredi 21 janvier 2009 Statut Membre Dernière intervention 30 janvier 2011 41
31 mars 2009 à 19:25
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 dimanche 19 août 2007 Statut Membre Dernière intervention 5 février 2015 86
31 mars 2009 à 19:56
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 mercredi 21 janvier 2009 Statut Membre Dernière intervention 30 janvier 2011 41
31 mars 2009 à 20:04
Met résolu !
A+
0