Hint for editors as to what type of object $file is