PHP如何获得文件的扩展名_PHP教程

<?php
$file_name = "bkjia.txt";
echo get_exname($file_name);
/**
 * 获取文件扩展名
 * @param unknown_type $file_name
 * @return $ex_name
 */
function get_exname($file_name)
{
	if(empty($file_name)) 
		return false;
    
	$file_name = strtolower($file_name);
    $rev_str = strrev($file_name);
    $ex_name_len = strpos($rev_str,'.');  //扩展名的长度
    $file_name_len = strlen($file_name);
    $ex_name = substr($file_name, $file_name_len - $ex_name_len);
    
    return $ex_name;
}
?>