How do I include extensions in the tel: URI?

Question

I currently have a webpage serving up phone numbers, some of these phone numbers have extensions so I have written the HTML like this:

Answer 1

For those still wondering about this problem: I've found it best to use this format: