From 33f2990aaa0d29d94c6f54f721861944bacd56cc Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Sat, 6 Feb 2016 23:08:26 +0100
Subject: [PATCH] Get file from WikiFilePage, instead of ImagePage

Change-Id: Ib28354fde2dc084ae9aff8cfa960785bb2012933
---
 includes/page/ImageHistoryList.php        | 2 +-
 includes/page/ImageHistoryPseudoPager.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/page/ImageHistoryList.php b/includes/page/ImageHistoryList.php
index 32638a5db1..4c36729794 100644
--- a/includes/page/ImageHistoryList.php
+++ b/includes/page/ImageHistoryList.php
@@ -53,7 +53,7 @@ class ImageHistoryList extends ContextSource {
 	 */
 	public function __construct( $imagePage ) {
 		global $wgShowArchiveThumbnails;
-		$this->current = $imagePage->getFile();
+		$this->current = $imagePage->getPage()->getFile();
 		$this->img = $imagePage->getDisplayedFile();
 		$this->title = $imagePage->getTitle();
 		$this->imagePage = $imagePage;
diff --git a/includes/page/ImageHistoryPseudoPager.php b/includes/page/ImageHistoryPseudoPager.php
index e421d23277..f541387d66 100644
--- a/includes/page/ImageHistoryPseudoPager.php
+++ b/includes/page/ImageHistoryPseudoPager.php
@@ -111,7 +111,7 @@ class ImageHistoryPseudoPager extends ReverseChronologicalPager {
 		if ( $this->mQueryDone ) {
 			return;
 		}
-		$this->mImg = $this->mImagePage->getFile(); // ensure loading
+		$this->mImg = $this->mImagePage->getPage()->getFile(); // ensure loading
 		if ( !$this->mImg->exists() ) {
 			return;
 		}
-- 
2.20.1