获取文件后缀名

$ext = strtolower(pathinfo($url,PATHINFO_EXTENSION));
static public function get_extension($file) 
	{ 
		if(!$file)
			return "";
		$info = pathinfo($file); 
		return $info['extension']; 
	}