file_has_extension

This function checks if file's URI ends with extension.

It behaves like has_suffix on get_uri, except that the string comparison is done case-insensitively using ascii_casecmp.

Parameters:

file	a File
extension	an ASCII extension

Returns:

true if file's URI ends with extension, false otherwise.