X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=blobdiff_plain;f=includes%2Fpage%2FImagePage.php;h=653e443a66289c366aa3f20edd9b7d0183963ce5;hp=2f6d4da0282dc63e87d55d9da6740b48fe432643;hb=54c93f1d384cd5accd2db2ebbb911e4d627c2980;hpb=509b2f7fe247bfe89c6bedd21d4bfd22d435aa4d

diff --git a/includes/page/ImagePage.php b/includes/page/ImagePage.php
index 2f6d4da028..653e443a66 100644
--- a/includes/page/ImagePage.php
+++ b/includes/page/ImagePage.php
@@ -987,6 +987,7 @@ EOT
 			parent::delete();
 			return;
 		}
+		'@phan-var LocalFile $file';
 
 		$deleter = new FileDeleteForm( $file );
 		$deleter->execute();