$repl2[] = preg_quote( substr( $prot, 0, -1 ), '/' );
}
}
$repl2[] = preg_quote( substr( $prot, 0, -1 ), '/' );
}
}
}
$text = substr( strtr( "\n$text", $repl ), 1 );
$text = preg_replace( $repl2, '$1:', $text );
}
$text = substr( strtr( "\n$text", $repl ), 1 );
$text = preg_replace( $repl2, '$1:', $text );