public function convert_pre_entities($matches) { return str_replace($matches[1], htmlentities($matches[1]), $matches[0]); }