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

I don't get the answers to this question - I think the're wrong. The correct link would look like this:

+44-1234-567 ext. 88