Estou trabalhando em umAplicativo SMS e precisa converter o número de telefone do remetente de+11234567890 para123-456-7890 para que possa ser comparado aos registros em umBanco de dados MySQL.

Os números são armazenados no último formato para uso em outros lugares do site e eu preferiria não alterar esse formato, pois exigiria a modificação de muito código.

Como eu faria isso com o PHP?

Obrigado!