Lines Matching refs:result
185 $result = [];
191 $result [$key] = 1;
197 $result [$key] = $value;
199 $result [$key] = 1;
205 $result = array_intersect_key(
206 $result,
216 if (isset($result['enable_line_numbers'])) {
217 if ($result['enable_line_numbers'] === 'false') {
218 $result['enable_line_numbers'] = false;
220 $result['enable_line_numbers'] = (bool)$result['enable_line_numbers'];
222 if (isset($result['highlight_lines_extra'])) {
223 $result['highlight_lines_extra'] = array_map('intval', explode(',', $result['highlight_lines_extra']));
224 $result['highlight_lines_extra'] = array_filter($result['highlight_lines_extra']);
225 $result['highlight_lines_extra'] = array_unique($result['highlight_lines_extra']);
227 if (isset($result['start_line_numbers_at'])) {
228 $result['start_line_numbers_at'] = (int)$result['start_line_numbers_at'];
230 if (isset($result['enable_keyword_links'])) {
231 if ($result['enable_keyword_links'] === 'false') {
232 $result['enable_keyword_links'] = false;
234 $result['enable_keyword_links'] = (bool)$result['enable_keyword_links'];
236 if (count($result) == 0) {
240 return $result;