Searched refs:escaped (Results 1 – 3 of 3) sorted by last modified time
327 $escaped = [347 return preg_replace($chars, $escaped, $str);
381 * Allow for escaped colons to appear in CSS names (BenBE, simon)386 * Problem with escaped backslash in PHP and D (BenBE)448 - Fixed broken highlighting of some symbols in their escaped form (BenBE)621 - Fixed a problem that rarely skipped highlighting of escaped chars which usually should have gotten highlighted (BenBE)
878 * @return string The escaped string.1166 function addedLine($line,$escaped=false) { argument 1167 if (!$escaped){1174 function deletedLine($line,$escaped=false) { argument 1175 if (!$escaped){1195 function _addedLines($lines,$escaped=false){ argument 1197 print('<tr>' . $this->emptyLine() . $this->addedLine($line,$escaped) . "</tr>\n");