Adding mobile number to Twitter account for international users

I ran into an error when trying to configure my Twitter application - I needed to add a mobile number in order to get write privileges for my Twitter app (see https://support.twitter.com/articles/110250-adding-your-mobile-number-to-your-account), but my local carrier was not recognized by Twitter and I was unable to add the number. Apparently this is common for Twitter users located outside the United States (I'm located in Israel).

I looked around for solutions to this, and officially, Twitter recommends contacting them for assistance. Unofficially, and what worked for me, was accessing the setting using the Twitter mobile site, and adding the number there. This seems to bypass the carrier check. I was thinking that the documentation should be updated to reflect these suggestions, although I'm not sure it's a good idea to recommend using what seems to be a bug on Twitter's part. 

An alternative solution could be just to warn new users of this potential issue.