Cambiar la versión de PHP del usuario en el servidor - a través de SSH

¿No encontraste lo que necesitas?