function replace_extension($filename, $new_extension) {
    $info = pathinfo($filename);
    return $info['dirname']
        . DIRECTORY_SEPARATOR
        . $info['filename']
        . '.'
        . $new_extension;
}