Manual:File.php
Jump to navigation
Jump to search
![]() | このページは直近の情報を反映していません。 |
MediaWiki ファイル: File.php | |
---|---|
場所: | includes/filerepo/file/ |
ソース コード: | master • 1.35.1 • 1.31.12 |
クラス: | File |
File.php contains a class, File, to represent files in a repository.