Manual:File.php/es

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