* @ingroup Media
*/
class WikiFilePage extends WikiPage {
+ /**
+ * @var File
+ */
protected $mFile = false; // !< File object
protected $mRepo = null; // !<
protected $mFileLoaded = false; // !<
}
}
$this->mRepo = $this->mFile->getRepo();
+ return true;
}
public function getRedirectTarget() {
if ( $this->mFile->isLocal() ) {
return parent::isRedirect( $text );
}
-
+
return (bool)$this->mFile->getRedirected();
}