Manual:File.php

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