Lines Matching refs:result
74 $result = [];
80 $result[$key] = 1;
86 $result[$key] = $value;
88 $result[$key] = 1;
94 $result = array_intersect_key(
95 $result,
105 if (isset($result['enable_line_numbers'])) {
106 if ($result['enable_line_numbers'] === 'false') {
107 $result['enable_line_numbers'] = false;
109 $result['enable_line_numbers'] = (bool)$result['enable_line_numbers'];
111 if (isset($result['highlight_lines_extra'])) {
112 …$result['highlight_lines_extra'] = array_map(intval(...), explode(',', $result['highlight_lines_ex…
113 $result['highlight_lines_extra'] = array_filter($result['highlight_lines_extra']);
114 $result['highlight_lines_extra'] = array_unique($result['highlight_lines_extra']);
116 if (isset($result['start_line_numbers_at'])) {
117 $result['start_line_numbers_at'] = (int)$result['start_line_numbers_at'];
119 if (isset($result['enable_keyword_links'])) {
120 if ($result['enable_keyword_links'] === 'false') {
121 $result['enable_keyword_links'] = false;
123 $result['enable_keyword_links'] = (bool)$result['enable_keyword_links'];
125 if (count($result) == 0) {
129 return $result;