Manual:File.php

From mediawiki.org
Jump to navigation Jump to search

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

See also