php简单截断字符串函数

php简单截断字符串函数，如果截断在字符串后自动加上省略号

function short($txt,$size){
 
    $short = $size - 3;
    if(strlen($txt) > $size){
        $data = substr( $txt, 0, $short )."...";
    }
    else
    {
        $data = $txt;
    }
 
    return $data;
}
 
 
echo short('Gianino Cole',10);