Searched refs:shorten (Results 1 – 3 of 3) sorted by relevance
458 $name = shorten($base, $long, 55);
513 $name = shorten(noNS($id), ' (' . $ns . ')', 30);
1590 function shorten($keep, $short, $max, $min = 9, $char = '…') function