Hallo sahabat dumenity berjumpa lagi dalam tutorial kursuswebsite Dumetschool, pada tutorial kali ini saya akan membahas tentang Cara Merubah Ekstensi File gambar pada php setelah saya sebelumnya membahas tentang cara menggunakan Rumus Menghitung File baris, Kata, dan Karakter dalam File. Sekarang saya akan membahas tentang cara merubah ekstensi file gambar menggunakan php.
Jadi disini saya akan memberikan rumusan tentang cara merubah ekstensi file gambar misal yang tadinya png atau jpg kita akan rubah menjadi ekstensi baru misalnya menjadi jpeg. caranya cukup mudahSilahkan teman – teman ikuti cara – cara berikut ini. tapi cara di bawah ini tidak baku silahkan teman – teman sesuaikan sendiri dengan nama file dan folder teman – teman masing – masing:
<?php
//cara merubah ekstensi file
//ubah ekstensi file.php
//mendefinisikan path directori
$dir = './citra';
//mendefinisikan ekstensi lama dan baru
$eksBaru = "jpg";
$eksLama = "jpeg";
//melakukan pencarian file
$hitung = 0;
foreach (glob("$dir/*.$eksLama") as $file) {
$hitung++;
//mengekstrak nama file (tanpa ekstensi)
$nama = substr($file,0, strrpos($file, "."));
//menamai-ulang file menggunakan nama dan ekstensi baru
rename ( $file, "$nama.$eksBaru")
or die ("Tidak dapat menamai-ulang file '$file' !");
}
echo "Jumlah $hitung file dinamai-ulang.";
?>
Oke itulah tadi cara rumusan Cara Merubah Ekstensi File gambar pertama tentukan lokasi file gambar lalu buat variabel untuk menampung ekstensi file gambar. Oke cukup disini tentang cara merubah ekstensi file gambar pada php semoga bermanfaat.