Pasar contactos del teléfono a Gmail

[Chuelchi]

Buenas tardes:

Un conocido tiene un smartphone antiguo (Galaxy Mini) y sus contactos en la memoria del teléfono. He estado mirando por encima y no tiene la opción de "compartir contactos", que permite enviártelos al mail de Gmail y desde ahí a los contactos de Gmail. ¿Cómo puede hacer para sincronizarlos con Gmail?. No tiene tampoco tarjeta SD.