Manual:File.php/de

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