What PHP function can be used to split file names and handle file extensions more efficiently?

When working with file names in PHP, it can be useful to split the file name from its extension in order to handle them separately. This can be done using the `pathinfo()` function in PHP, which returns an associative array containing information about a file path. By using this function, you can efficiently extract the file name and extension without having to manually parse the file path.

// Example code to split file name and handle file extensions efficiently
$file_path = "example.txt";
$file_info = pathinfo($file_path);

$file_name = $file_info['filename']; // Contains "example"
$file_extension = $file_info['extension']; // Contains "txt"

echo "File Name: " . $file_name . "\n";
echo "File Extension: " . $file_extension;