file extension

Definition of file extension in The Network Encyclopedia.