Get file from WikiFilePage, instead of ImagePage
authorumherirrender <umherirrender_de.wp@web.de>
Sat, 6 Feb 2016 22:08:26 +0000 (23:08 +0100)
committerumherirrender <umherirrender_de.wp@web.de>
Sat, 6 Feb 2016 22:08:26 +0000 (23:08 +0100)
commit33f2990aaa0d29d94c6f54f721861944bacd56cc
tree4b7d4894a1aab490bcec65339b5e108495dcbac1
parent2c085ac5a3c8020958d52554e13317feef30ffaf
Get file from WikiFilePage, instead of ImagePage

Change-Id: Ib28354fde2dc084ae9aff8cfa960785bb2012933
includes/page/ImageHistoryList.php
includes/page/ImageHistoryPseudoPager.php