Récupérer nom de page sans l'extension
Résolu
zalaf
Messages postés
40
Date d'inscription
Statut
Membre
Dernière intervention
-
zalaf Messages postés 40 Date d'inscription Statut Membre Dernière intervention -
zalaf Messages postés 40 Date d'inscription Statut Membre Dernière intervention -
Bonjour,
J'ai quelques notions très basiques en php.
Et là, j'aimerais récupérer le nom de la page en cours sans l'extension afin de charger un document pdf via un hyper lien qui aurait le même nom, style:
<a href="<?php echo ($_SERVER['SCRIPT_NAME']); ?>.pdf">version pdf de la page en cours</a>
Mais ça, c'était trop simple pour que ça fonctionne lol, puisque ça me donne aussi l'extension de la page.
Y a-t-il une solution simple à cela?
merci!
J'ai quelques notions très basiques en php.
Et là, j'aimerais récupérer le nom de la page en cours sans l'extension afin de charger un document pdf via un hyper lien qui aurait le même nom, style:
<a href="<?php echo ($_SERVER['SCRIPT_NAME']); ?>.pdf">version pdf de la page en cours</a>
Mais ça, c'était trop simple pour que ça fonctionne lol, puisque ça me donne aussi l'extension de la page.
Y a-t-il une solution simple à cela?
merci!
A voir également:
- Récupérer nom de page sans l'extension
- Impossible de supprimer une page word - Guide
- Recuperer message whatsapp supprimé - Guide
- Changer extension fichier - Guide
- Récupérer compte yahoo sans numéro de téléphone - Guide
- Impossible de récupérer mon compte gmail - Guide
3 réponses
j'ai fait une petite fonction qui repere l'extension et qui la detruit :
function die_ext($page){
$extpage = substr(strrchr($page, "."), 1);
$extpage =".".$extpage;
$dieext=str_replace($extpage,"",$page);
echo $dieext ;
}
//exemple d'utilisation
die_ext("index.html");
Dans ton exemple tu pourra t'en servir de la façon suivante :
<a href="<?php echo (die_ext($_SERVER['SCRIPT_NAME'])); ?>.pdf">version pdf de la page en cours</a>
function die_ext($page){
$extpage = substr(strrchr($page, "."), 1);
$extpage =".".$extpage;
$dieext=str_replace($extpage,"",$page);
echo $dieext ;
}
//exemple d'utilisation
die_ext("index.html");
Dans ton exemple tu pourra t'en servir de la façon suivante :
<a href="<?php echo (die_ext($_SERVER['SCRIPT_NAME'])); ?>.pdf">version pdf de la page en cours</a>
zalaf
Messages postés
40
Date d'inscription
Statut
Membre
Dernière intervention
15
Merci pour ton aide
Salut,
Puisque le code te fournit l'extension, pourquoi vouloir la rajouter manuellement ?
<?php echo ($_SERVER['SCRIPT_NAME']); ?>.pdf
Puisque le code te fournit l'extension, pourquoi vouloir la rajouter manuellement ?
<?php echo ($_SERVER['SCRIPT_NAME']); ?>.pdf
Salut,
Je suis sur une page rubrique1.php
Sur cette page, il y aurait un lien qui permettrait d'avoir la version de cette page en pdf et qui s'appellerait rubrique1.pdf
Je sais que rubrique1.php.pdf, ça fonctionne. Mais c'est laid comme nom de fichier.
Pourquoi ne pas écrire directement dans mon <a href> l'url du fichier pdf? Parce que alors, j'aurais plus de 2000 modifications à faire...
Je suis sur une page rubrique1.php
Sur cette page, il y aurait un lien qui permettrait d'avoir la version de cette page en pdf et qui s'appellerait rubrique1.pdf
Je sais que rubrique1.php.pdf, ça fonctionne. Mais c'est laid comme nom de fichier.
Pourquoi ne pas écrire directement dans mon <a href> l'url du fichier pdf? Parce que alors, j'aurais plus de 2000 modifications à faire...