Bueno, el problema fue el siguiente:
Debía cambiar la extensión de los archivos contenidos en una carpeta.
Investigué sobre 3 funciones de php para hacer mi propia función y lograr mi objetivo:
opendir, explode y rename
Código PHP:
Ver originalfunction cambiarExtension($ruta)
{
while(false !== ($archivo = readdir($manejador))) {
if($archivo != "." && $archivo != "..")
{
$cadena = $ruta.$archivo;
$partirCadena = explode(".", $cadena);
rename($cadena, $partirCadena[0].".png"); }
}
}
De este modo se le cambia la extensión a todos los archivos que están contenidos en una carpeta, excepto a los archivos especiales, es decir, actual (.) y padre (..)
Ojalá que sea de ayuda para los PHPeros
@huguidugui