diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2022-03-03 21:33:11 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2022-03-03 21:33:31 +0100 |
| commit | 9ed1ed185f88a73b02861015834290e23c13bde6 (patch) | |
| tree | 641d5dbd373d087d9c086eb798aa7db8ba759d1b /includes/filerepo/file/ArchivedFile.php | |
| parent | 73a422bcf912980b9ecac4a85f0a27f07fbccc54 (diff) | |
| download | mediawikicore-9ed1ed185f88a73b02861015834290e23c13bde6.tar.gz mediawikicore-9ed1ed185f88a73b02861015834290e23c13bde6.zip | |
Fix various documentation related to false
Some function already document "False on failure", but does not document
it on the used type
Found by phan strict checks
Change-Id: I12eb8bbc99179833ee3e42c1a7d1dc1443682ca6
Diffstat (limited to 'includes/filerepo/file/ArchivedFile.php')
| -rw-r--r-- | includes/filerepo/file/ArchivedFile.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/filerepo/file/ArchivedFile.php b/includes/filerepo/file/ArchivedFile.php index 0588930074ad..0118f2f04906 100644 --- a/includes/filerepo/file/ArchivedFile.php +++ b/includes/filerepo/file/ArchivedFile.php @@ -42,7 +42,7 @@ class ArchivedFile { /** @var int Filearchive row ID */ private $id; - /** @var string File name */ + /** @var string|false File name */ private $name; /** @var string FileStore storage group */ |