' . $telephonnumber . ''; } function kompass_print_telephone_link(string $telephonnumber) { echo kompass_get_telephone_link($telephonnumber); }