original_string: public function filter($string, $filter = null)
      {
          if (!isset($filter)) {
              $filter = $this->current_filter;
          }
  
          $delimiter = $this->config('teaser_delimiter', '<!--teaser-->');
          $string = str_replace($delimiter, htmlspecialchars($delimiter), $string);
          return $this->filter->run($string, $filter);
      }
code: public function filter($string, $filter = null)
      {
          if (!isset($filter)) {
              $filter = $this->current_filter;
          }
  
          $delimiter = $this->config('teaser_delimiter', '<!--teaser-->');
          $string = str_replace($delimiter, htmlspecialchars($delimiter), $string);
          return $this->filter->run($string, $filter);
      }
code_tokens: public function filter ( $ string , $ filter = null ) { if ( ! isset ( $ filter ) ) { $ filter = $ this -> current_filter ; } $ delimiter = $ this -> config ( 'teaser_delimiter' , '<!--teaser-->' ) ; $ string = str_replace ( $ delimiter , htmlspecialchars ( $ delimiter ) , $ string ) ; return $ this -> filter -> run ( $ string , $ filter ) ; }
docstring: Clean up HTML string using defined HTML filters
  @param string $string
  @param mixed $filter
  @return string
docstring_tokens: Clean up HTML string using defined HTML filters