Removed 'extension' property from FileManager.

No longer needed.