Revert to original file

In theory we don't need to modify this file any more as PhoneNumber.js should make any needed tweaks to contacts numbers.