Searched refs:highlight (Results 1 – 13 of 13) 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
132 void phpdbg_list_file(zend_string *filename, uint count, int offset, uint highlight) /* {{{ */ in phpdbg_list_file() argument160 if (!highlight) { in phpdbg_list_file()163 if (highlight != line) { in phpdbg_list_file()
139 function AddInfo($Name,$Value,$highlight=0) {142 if ( $highlight) {
259 highlight the major important things (security fixes) and when it is important302 highlight the major important things (security fixes) and when it is important
309 ;highlight.string = #DD0000310 ;highlight.comment = #FF9900311 ;highlight.keyword = #007700312 ;highlight.default = #0000BB313 ;highlight.html = #000000
Completed in 28 milliseconds
