private function html_href($matches)
{
$url = trim($matches[2]);
// do not proxify magnet: links
if (strpos($url, "magnet") === 0) {
return $matches[0];
}
// do we even need to proxify this URL?
return str_replace($url, proxify_url($url, $this->base_url), $matches[0]);
}