mattattui

<?php
/* html_convert_entities($string) -- convert named HTML entities to 
 * XML-compatible numeric entities.
 */

function html_convert_entities($string) {
  return preg_replace_callback('/&([a-zA-Z][a-zA-Z0-9]+);/S', 
                               'convert_entity', $string);
}