// returns a filename or foldername in the correct case for comparison
function file_case($str) {
	if ( !defined('EFS_FILESYSTEM_TYPE') ) {
		$file_name = 'CaseTest.txt';
		if ( is_file(dirname(__FILE__).DS.$file_name) && is_file(dirname(__FILE__).DS.low($file_name)) ) {
			define('EFS_FILESYSTEM_TYPE', 'ci'); // Filesystem in case insensitive
		} else {
			define('EFS_FILESYSTEM_TYPE', 'cs'); // Filesystem in case sensitive
		}
	}
	
	if ( EFS_FILESYSTEM_TYPE == 'ci' ) {
		return low($str); // Filesystem in case insensitive
	} else {
		return $str; // Filesystem in case sensitive
	}
}