Manual:File.php/en

File.php contains a class, File, to represent files in a repository.