original_string: protected function xmlEncode($txt)
      {
          $txt = str_replace('<', '&lt;', $txt);
          $txt = str_replace('>', '&gt;', $txt);
          $txt = str_replace('&amp;apos;', "'", $txt);
          $txt = str_replace('&amp;quot;', '"', $txt);
  
          return $txt;
      }
code: protected function xmlEncode($txt)
      {
          $txt = str_replace('<', '&lt;', $txt);
          $txt = str_replace('>', '&gt;', $txt);
          $txt = str_replace('&amp;apos;', "'", $txt);
          $txt = str_replace('&amp;quot;', '"', $txt);
  
          return $txt;
      }
code_tokens: protected function xmlEncode ( $ txt ) { $ txt = str_replace ( '<' , '&lt;' , $ txt ) ; $ txt = str_replace ( '>' , '&gt;' , $ txt ) ; $ txt = str_replace ( '&amp;apos;' , "'" , $ txt ) ; $ txt = str_replace ( '&amp;quot;' , '"' , $ txt ) ; return $ txt ; }
docstring: Encode the XML-characters in a string
  
  @param string $txt A string to be encoded
  
  @return string
docstring_tokens: Encode the XML - characters in a string