Are there specific PHP functions or libraries that can simplify the process of handling file extensions for display on a website?

When displaying file extensions on a website, it can be helpful to have a function that extracts and formats the extension from a file name. PHP provides the pathinfo() function, which can be used to get information about a file path, including the file extension. By using this function, you can easily extract the file extension and display it in a user-friendly way on your website.

// Example code to extract and display file extension using pathinfo() function
$filename = "example_file.pdf";
$extension = pathinfo($filename, PATHINFO_EXTENSION);

echo "File Extension: " . $extension;