function shorten_url ($url, $limit, $dotdotdot
{
$length = strlen$url);
if ($length > $limit) {
$s = substr$url, 0, floor(2*$limit/3));
$e = substr$url, -1*floor$limit/3));
return $s$dotdotdot$e
} else {
return $url
}
}
function shorten_url ($url, $limit, $dotdotdot
{
$length = strlen$url);
if ($length > $limit) {
$s = substr$url, 0, floor(2*$limit/3));
$e = substr$url, -1*floor$limit/3));
return $s$dotdotdot$e
} else {
return $url
}
}