';
}
if (!function_exists('shorten')) {
/**
* Shorten a given string by removing data from the middle
*
* You can give the string in two parts, teh first part $keep
* will never be shortened. The second part $short will be cut
* in the middle to shorten but only if at least $min chars are
* left to display it. Otherwise it will be left off.
*
* @param string $keep the part to keep
* @param string $short the part to shorten
* @param int $max maximum chars you want for the whole string
* @param int $min minimum number of chars to have left for middle shortening
* @param string $char the shortening character to use
*/
function shorten($keep, $short, $max, $min = 9, $char = '⌇')
{
$max = $max - utf8_strlen($keep);
if ($max < $min) return $keep;
$len = utf8_strlen($short);
if ($len <= $max) return $keep . $short;
$half = floor($max / 2);
return $keep . utf8_substr($short, 0, $half - 1) . $char . utf8_substr($short, $len - $half);
}
}