Cara Merubah Ekstensi File

Hallo rekan rekan dumenity berjumpa lagi pada panduan kursuswebsite Source Code Aplikasi, di panduan kali ini saya akan membahas mengenai Cara Merubah Ekstensi File gambar di php setelah saya sebelumnya membahas mengenai cara menggunakan Rumus Menghitung File baris, Kata, dan Karakter pada File. Sekarang ini saya akan membahas mengenai cara merubah ekstensi file gambar menggunakan php.

Jadi disini saya akan memberikan rumusan mengenai cara merubah ekstensi file gambar  misal yang tadinya png atau jpg kita akan rubah menjadi ekstensi baru misalnya menjadi jpeg. caranya lumayan mudahSilahkan teman – teman ikuti cara – cara berikut ini. tapi cara di bawah ini tak 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;

 //menjalankan 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 (Tak dapat menamai-ulang file '$file' !);
 }
echo Jumlah $hitung file dinamai-ulang.;


  ?>

Oke seperti itulah tadi cara rumusan Cara Merubah Ekstensi File gambar pertama-tama tentukan lokasi file gambar lalu bikin variabel bagi menampung ekstensi file gambar. Oke lumayan disini mengenai cara merubah ekstensi file gambar di php semoga bermanfaat.

Sumber https://kursuswebsite.org