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

According to the documentation, you can add what you want like so tel:12345678;ext=123

See RFC 3966