/**
 * PHP获取文件扩展名
 *
 * @param 
 * @arrange 网： www.jb51.cc
 **/
function get_file_extension($file_name)
{
	/* may contain multiple dots */
	$string_parts = explode('.',$file_name);
	$extension = $string_parts[count($string_parts) - 1];
	$extension = strtolower($extension);
	return $extension;
}

/***   来自编程之家 jb51.cc（jb51.cc）   ***/