Searched refs:symbols (Results 1 – 2 of 2) sorted by relevance
1078 * @param int $group Tells the group of symbols for which style should be set.1136 * Sets the styles for symbols. If $preserve_defaults is1140 * @param string $style The style to make the symbols1143 * @param int $group Tells the group of symbols for which style should be set.1147 // Update the style of symbols1161 * Turns highlighting on/off for symbols1163 * @param boolean $flag Whether to turn highlighting for symbols on or off1215 // Update the style of symbols1980 //Instead we perform it for all symbols at once.1987 $symbol_preg_multi = array(); // multi char symbols[all...]
448 - Fixed broken highlighting of some symbols in their escaped form (BenBE)590 symbols that caused some extra characters to be added in the output or614 - Added backticks as symbols (Milian Wolff)634 - Fixed minor issue causing loads of warnings if a language files defines no symbols (BenBE)660 - Fixed symbols not being highlighted at all (SF #1767953, BenBE)777 - mysql - Made the symbols into their own keyword group as the symbol group852 - Fixed two ">" symbols being outputted when using a footer but not CSS classes (MrBaseball34)