Searched refs:highlight (Results 1 – 12 of 12) sorted by relevance
4 highlight.string = #DD00005 highlight.comment = #FF80006 highlight.keyword = #0077007 highlight.default = #0000BB8 highlight.html = #000000
4 highlight.string=#DD00005 highlight.comment=#FF99006 highlight.keyword=#0077007 highlight.default=#0000BB8 highlight.html=#000000
4 highlight.html=#000000
130 void phpdbg_list_file(zend_string *filename, uint32_t count, int offset, uint32_t highlight) /* {{{… in phpdbg_list_file() argument158 if (!highlight) { in phpdbg_list_file()161 if (highlight != line) { in phpdbg_list_file()
171 highlight the major important things (security fixes) and when it is329 highlight the major important things (security fixes) and when it is370 highlight the major important things (security fixes) and when it is
333 ;highlight.string = #DD0000334 ;highlight.comment = #FF9900335 ;highlight.keyword = #007700336 ;highlight.default = #0000BB337 ;highlight.html = #000000
Completed in 36 milliseconds