diff options
| author | Daimona Eaytoy <daimona.wiki@gmail.com> | 2019-08-31 18:14:38 +0200 |
|---|---|---|
| committer | Krinkle <krinklemail@gmail.com> | 2019-09-03 17:19:21 +0000 |
| commit | c659bc63087b10d8765056500a8ed4bce6cfdbf4 (patch) | |
| tree | 80d5b9f3169b4fb9bebfd6d84b4d3215793fb870 /maintenance/deleteArchivedFiles.php | |
| parent | ed398c0253e36f85d39452b00d3273867fe0b8ef (diff) | |
| download | mediawikicore-c659bc63087b10d8765056500a8ed4bce6cfdbf4.tar.gz mediawikicore-c659bc63087b10d8765056500a8ed4bce6cfdbf4.zip | |
Unsuppress another phan issue (part 7)
Bug: T231636
Depends-On: I2cd24e73726394e3200a570c45d5e86b6849bfa9
Depends-On: I4fa3e6aad872434ca397325ed7a83f94973661d0
Change-Id: Ie6233561de78457cae5e4e44e220feec2d1272d8
Diffstat (limited to 'maintenance/deleteArchivedFiles.php')
| -rw-r--r-- | maintenance/deleteArchivedFiles.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintenance/deleteArchivedFiles.php b/maintenance/deleteArchivedFiles.php index d010073b90ed..7b2ef17a31a0 100644 --- a/maintenance/deleteArchivedFiles.php +++ b/maintenance/deleteArchivedFiles.php @@ -68,6 +68,7 @@ class DeleteArchivedFiles extends Maintenance { /** @var LocalFile $file */ $file = $repo->newFile( $row->fa_name ); + '@phan-var LocalFile $file'; try { $file->lock(); } catch ( LocalFileLockError $e ) { |