Searched refs:symbol_offset (Results 1 – 1 of 1) sorted by relevance
3564 $symbol_offset = $pot_symbols[$s_id][0][1];3605 $stuff_to_parse = substr_replace($stuff_to_parse, $symbol_hl, $symbol_offset + $global_offset, $symbol_length);