Home
last modified time | relevance | path

Searched defs:shorten (Results 1 – 5 of 5) sorted by relevance

/plugin/judge/helper/
H A Djdatetime.class.php430 private static function getDayNames($day, $shorten = false, $len = 1, $numeric = false)
451 private static function getMonthNames($month, $shorten = false, $len = 3)
/plugin/sphinxsearch-was/
H A Dfunctions.php410 function shorten($keep, $short, $max, $min = 9, $char = '⌇') function
/plugin/sphinxsearch/
H A Dfunctions.php418 function shorten($keep,$short,$max,$min=9,$char='⌇'){ function
/plugin/pagequery/
H A DPageQuery.php1043 private function shorten(string $text, string $extent, string $more = '... '): string global() function in PageQuery
/plugin/processing/
H A Dscript.js4312 p.shorten = function(ary) { function