Comment supprimer l’extension d’un nom de fichier en PHP ?

Extraire le nom de fichier sans extension en PHP

Pour obtenir le nom de fichier du script PHP actuellement exécuté sans son extension ".php", vous pouvez utilisez la constante magique PHP __FILE__. Cependant, il semble que vous ayez besoin du nom de fichier sans l'extension.

Solution 1 : Utiliser basename()

Pour ce faire, vous pouvez utiliser la fonction basename() :

basename(__FILE__, '.php');

Par exemple, à condition que le nom de fichier de script « jquery.js.php », ce code afficherait « jquery.js ».

Solution 2 : suppresseur d'extension générique Fonction

Une solution plus polyvalente serait de créer une fonction qui supprime l'extension de tout nom de fichier, quel que soit son type :

function chopExtension($filename) {
    return pathinfo($filename, PATHINFO_FILENAME);
}

var_dump(chopExtension('bob.php')); // Output: "bob"
var_dump(chopExtension('bob.i.have.dots.zip')); // Output: "bob.i.have.dots"

Solution 3 : Utilisation de la bibliothèque de chaînes Fonctions

Pour une vitesse améliorée, vous pouvez opter pour les fonctions de bibliothèque de chaînes standard :

function chopExtension($filename) {
    return substr($filename, 0, strrpos($filename, '.'));
}

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!