Searched defs:shorten (Results 1 – 5 of 5) sorted by relevance
| /plugin/judge/helper/ |
| H A D | jdatetime.class.php | 430 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 D | functions.php | 410 function shorten($keep, $short, $max, $min = 9, $char = '⌇') function
|
| /plugin/sphinxsearch/ |
| H A D | functions.php | 418 function shorten($keep,$short,$max,$min=9,$char='⌇'){ function
|
| /plugin/pagequery/ |
| H A D | PageQuery.php | 1043 private function shorten(string $text, string $extent, string $more = '... '): string global() function in PageQuery
|
| /plugin/processing/ |
| H A D | script.js | 4312 p.shorten = function(ary) { function
|