削除画像の拡張子、

Question

は画像が呼び出されると言う名前の変更と復元：gecko.jpg

それは希望ので、私は最初、「.JPG」を削除し、 『ヤモリ』の後に 『-100x100』を追加し、バックエクステンションを置くことができます"gecko-100x100.jpg"ですか？

Answer 1

はい、非常に単純にbasename()

$base = basename($filename, ".jpg"); 
echo $base . "-100x100" . ".jpg"; 

または最後.

// Use strrpos() & substr() to get the file extension 
$ext = substr($filename, strrpos($filename, ".")); 
// Then stitch it together with the new string and file's basename 
$newfilename = basename($filename, $ext) . "-100x100" . $ext; 

を見つけることによって拡張を見つけるためにstrrpos()を使用して、任意のファイルタイプでそれを行うためにと一緒にPHPの文字列関数と -

// Some examples in action... 
$filename = "somefile.jpg"; 
$ext = substr($filename, strrpos($filename, ".")); 
$newfilename = basename($filename, $ext) . "-100x100" . $ext; 
echo $newfilename; 
// outputs somefile-100x100.jpg 

// Same thing with a .gif 
$filename = "somefile.gif"; 
// outputs somefile-100x100.gif 

Answer 2

用途pathinfo

$path_parts = pathinfo('/www/htdocs/inc/lib.inc.php'); 
$new = $path_parts['filename'] . '-100x100.' .$path_parts['extension'];