When displaying campus phone numbers always use the full phone number and not just the extension. Users off campus have no idea about your internal structure or phone system. If you wanted to be even more friendly you can add the country code to the phone numbers.