Searched refs:symbol_preg_multi (Results 1 - 1 of 1) sorted by relevance

/external/libvpx/libvpx/examples/includes/geshi/
H A Dgeshi.php1849 $symbol_preg_multi = array(); // multi char symbols variable
1858 $symbol_preg_multi[] = preg_quote($sym, '/');
1874 $symbol_preg_multi[] = preg_quote($symbols, '/');
1890 if (!empty($symbol_preg_multi)) {
1891 rsort($symbol_preg_multi);
1892 $symbol_preg[] = implode('|', $symbol_preg_multi);

Completed in 118 milliseconds