I would like an editing mask for phone numbers, along the lines of
"+00 0000 000000" or "+00-0000-000000".
The leading + to be stored as part of the data, but the spaces or hyphens are not.
The only characters that should be typed are digits.
There is unfortunate a variation in how different countries display numbers.