original_string: public static function generate_html_id($title)
      {
          $t = $title;
          $t = str_replace('&amp;', '-and-', $t);
          $t = str_replace('&', '-and-', $t);
          $t = preg_replace('/[^A-Za-z0-9]+/', '-', $t);
          $t = preg_replace('/-+/', '-', $t);
          $t = trim($t, '-');
          $t = strtolower($t);
  
          return $t;
      }
code: public static function generate_html_id($title)
      {
          $t = $title;
          $t = str_replace('&amp;', '-and-', $t);
          $t = str_replace('&', '-and-', $t);
          $t = preg_replace('/[^A-Za-z0-9]+/', '-', $t);
          $t = preg_replace('/-+/', '-', $t);
          $t = trim($t, '-');
          $t = strtolower($t);
  
          return $t;
      }
code_tokens: public static function generate_html_id ( $ title ) { $ t = $ title ; $ t = str_replace ( '&amp;' , '-and-' , $ t ) ; $ t = str_replace ( '&' , '-and-' , $ t ) ; $ t = preg_replace ( '/[^A-Za-z0-9]+/' , '-' , $ t ) ; $ t = preg_replace ( '/-+/' , '-' , $ t ) ; $ t = trim ( $ t , '-' ) ; $ t = strtolower ( $ t ) ; return $ t ; }
docstring: Generate an html element id from a string
  
  @return String
docstring_tokens: Generate an html element id from a string