* 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
);
}
- if ( $wgEnableUploads && $user->isAllowed( 'upload' ) ) {
+ if ( $wgEnableUploads && MediaWikiServices::getInstance()
+ ->getPermissionManager()
+ ->userHasRight( $user, 'upload' )
+ ) {
// Only show an upload link if the user can upload
$uploadTitle = SpecialPage::getTitleFor( 'Upload' );
$nofile = [
parent::delete();
return;
}
+ '@phan-var LocalFile $file';
$deleter = new FileDeleteForm( $file );
$deleter->execute();