отаю надSMS-приложение и должны иметь возможность конвертировать номер телефона отправителя из+11234567890 в123-456-7890 так что это можно сравнить с записями вБаза данных MySQL.

Числа хранятся в последнем формате для использования в другом месте на сайте, и я бы не стал менять этот формат, так как это потребовало бы изменения большого количества кода.

Как бы я пошел по этому поводу с PHP?

Спасибо!