public function changeExtension($filename, $extension) { $idx = strrpos($filename, "."); if ($idx >= 0) { $filename = substr($filename, 0, $idx) . "." . $extension; } return $filename; }