Searched refs:symbol_length (Results 1 – 1 of 1) sorted by relevance
3563 $symbol_length = strlen($symbol_match);3605 $stuff_to_parse = substr_replace($stuff_to_parse, $symbol_hl, $symbol_offset + $global_offset, $symbol_length);3609 $global_offset += strlen($symbol_hl) - $symbol_length;