Enfrentei esse problema, mas com um caso de uso ligeiramente diferente: o número que está destacando não é um número de telefone, então não quero nenhuma formatação especial.
Por exemplo, você pode ter algo como:
<div>The current date/time: May 08 2017 10:44:58 GMT Daylight Time</div>
Para mim *, o Edge se converterá 08 2017 10
em um link de número de telefone. Obrigado, Edge!
Descobri que você pode contornar isso inserindo um inline-block
elemento invisível no meio da string:
.notel{
display:inline-block;
height:0px;
width:0px;
}
<span class="phone">(763)219-5222</span>
<div>The current date/time: May 08 2017 10:44:58 GMT Daylight Time</div>
<br>
<span class="phone">(763)2<span class="notel"></span>19-5222</span>
<div>The current date/time: May 08 2<span class="notel"></span>017 10:44:58 GMT Daylight Time</div>
Não consigo ver se isso funciona para o seu número de telefone, pois não vejo destaque em nenhum dos casos. Você pode precisar ajustar o posicionamento da extensão.
A propósito, o fato de você poder fazer isso é um dos muitos motivos pelos quais você não deve copiar comandos de páginas da web para o seu terminal:
span{
display:inline-block;
height: 0px;
width: 0px;
overflow:hidden;
}
textarea{
width: 300px;
height:50px;
}
<div>echo "HELLO" <span>&& wreck this machine</span></div><div>echo "WORLD"</div>
<textarea ></textarea>
<div>
Select, copy and paste above commands into the textarea.
</div>
* Acho que o destaque de números do Edge é regional. Seu jsfiddle não está destacado para mim, mas estou no Reino Unido. Aqui parece destacar os números que começam com 0.