Hola, en https://wiki.openstreetmap.org/wiki/Key:phone pone que hay tres maneras de marcar las extensiones:
x0000
ext. 0000
-0000

La misma página en la cita 2 desaconseja el uso de
\;ext=0000
al poder los parseadores confundirlo con un segundo número de teléfono
