Searched refs:char2html_case_sensitive (Results 1 – 1 of 1) sorted by relevance
997 $line = char2html_case_sensitive($line,$latexmodifier,strtoupper($char),$entitiyfragment);998 return char2html_case_sensitive($line,$latexmodifier,strtolower($char),$entitiyfragment);1001 function char2html_case_sensitive($line,$latexmodifier,$char,$entitiyfragment) { function