Searched refs:highlight (Results 1 – 12 of 12) sorted by path
4 highlight.string = #DD00005 highlight.comment = #FF80006 highlight.keyword = #0077007 highlight.default = #0000BB8 highlight.html = #000000
170 highlight the major important things (security fixes) and when it is318 highlight the major important things (security fixes) and when it is357 highlight the major important things (security fixes) and when it is
4 highlight.html=#000000
4 highlight.string=#DD00005 highlight.comment=#FF99006 highlight.keyword=#0077007 highlight.default=#0000BB8 highlight.html=#000000
322 ;highlight.string = #DD0000323 ;highlight.comment = #FF9900324 ;highlight.keyword = #007700325 ;highlight.default = #0000BB326 ;highlight.html = #000000
132 void phpdbg_list_file(zend_string *filename, uint32_t count, int offset, uint32_t highlight) /* {{{… in phpdbg_list_file() argument160 if (!highlight) { in phpdbg_list_file()163 if (highlight != line) { in phpdbg_list_file()
Completed in 24 milliseconds
