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

diff --git a/includes/page/ImagePage.php b/includes/page/ImagePage.php
index d3f063877f..653e443a66 100644
--- a/includes/page/ImagePage.php
+++ b/includes/page/ImagePage.php
@@ -29,6 +29,7 @@ use Wikimedia\Rdbms\ResultWrapper;
  * @ingroup Media
  *
  * @property WikiFilePage $mPage Set by overwritten newPage() in this class
+ * @method WikiFilePage getPage()
  */
 class ImagePage extends Article {
 	/** @var File|false */
@@ -986,6 +987,7 @@ EOT
 			parent::delete();
 			return;
 		}
+		'@phan-var LocalFile $file';
 
 		$deleter = new FileDeleteForm( $file );
 		$deleter->execute();