* 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 */
/** @var bool */
protected $mExtraDescription = false;
- /**
- * @var WikiFilePage
- */
- protected $mPage;
-
/**
* @param Title $title
* @return WikiFilePage
parent::delete();
return;
}
+ '@phan-var LocalFile $file';
$deleter = new FileDeleteForm( $file );
$deleter->execute();