Lines Matching refs:result
60 $result = [];
66 $result[$key] = 1;
72 $result[$key] = $value;
74 $result[$key] = 1;
79 $result = array_intersect_key(
80 $result,
89 if (isset($result['enable_line_numbers'])) {
90 if ($result['enable_line_numbers'] === 'false') {
91 $result['enable_line_numbers'] = false;
93 $result['enable_line_numbers'] = (bool)$result['enable_line_numbers'];
95 if (isset($result['highlight_lines_extra'])) {
96 …$result['highlight_lines_extra'] = array_map(intval(...), explode(',', $result['highlight_lines_ex…
97 $result['highlight_lines_extra'] = array_filter($result['highlight_lines_extra']);
98 $result['highlight_lines_extra'] = array_unique($result['highlight_lines_extra']);
100 if (isset($result['start_line_numbers_at'])) {
101 $result['start_line_numbers_at'] = (int)$result['start_line_numbers_at'];
103 if (isset($result['enable_keyword_links'])) {
104 if ($result['enable_keyword_links'] === 'false') {
105 $result['enable_keyword_links'] = false;
107 $result['enable_keyword_links'] = (bool)$result['enable_keyword_links'];
109 if (count($result) == 0) {
113 return $result;