Removing extension-files file
Merge pull request #4136 from timvandermeij/remove-extension-files

Removing extension-files file