file extension vs filename extension

file extension

noun
  • A short series of text characters at the end of a computer filename, used to indicate the type of contents and the software that will be required to operate or open it. 

filename extension

noun
  • A file extension. 

How often have the words file extension and filename extension occurred in a corpus of books? (source: Google Ngram Viewer )