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

diff --git a/includes/page/ImagePage.php b/includes/page/ImagePage.php
index 2e43e8c53b..653e443a66 100644
--- a/includes/page/ImagePage.php
+++ b/includes/page/ImagePage.php
@@ -27,6 +27,9 @@ use Wikimedia\Rdbms\ResultWrapper;
  * Class for viewing MediaWiki file description pages
  *
  * @ingroup Media
+ *
+ * @property WikiFilePage $mPage Set by overwritten newPage() in this class
+ * @method WikiFilePage getPage()
  */
 class ImagePage extends Article {
 	/** @var File|false */
@@ -41,11 +44,6 @@ class ImagePage extends Article {
 	/** @var bool */
 	protected $mExtraDescription = false;
 
-	/**
-	 * @var WikiFilePage
-	 */
-	protected $mPage;
-
 	/**
 	 * @param Title $title
 	 * @return WikiFilePage
@@ -989,6 +987,7 @@ EOT
 			parent::delete();
 			return;
 		}
+		'@phan-var LocalFile $file';
 
 		$deleter = new FileDeleteForm( $file );
 		$deleter->execute();