I've faced this issue, but with a slightly different use case: The number it's highlighting is not a phone number, so I don't want any special formatting.
For example you might have something like:
<div>The current date/time: May 08 2017 10:44:58 GMT Daylight Time</div>
For me*, Edge will convert 08 2017 10
into a phone number link. Thanks, Edge!
I've found that you can get around this by inserting invisible inline-block
element into the middle of the 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>
I can't see if this works for your phone number as I don't see highlighting in either case. You might need to nudge the positioning of the span.
Incidentally, the fact that you can do this is one of the many reasons you shouldn't copy commands off webpages and into your 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>
*I think Edge's highlighting of numbers is regional. Your jsfiddle isn't highlighted for me, but I'm in the UK. Here is seems to highlight numbers that begin with 0.