Fix wfLocalFile() replacement
authorLucas Werkmeister <lucas.werkmeister@wikimedia.de>
Thu, 20 Jun 2019 10:01:03 +0000 (12:01 +0200)
committerLucas Werkmeister <lucas.werkmeister@wikimedia.de>
Thu, 20 Jun 2019 10:01:03 +0000 (12:01 +0200)
commit6ae93733c3376914098c82fc30c6714c26e2cd5c
treeafb8687bb12c69e6da385a05cb21b1eedbc560fe
parentf0162afbc9ca28865d092db7a6ccc23d9ba37178
Fix wfLocalFile() replacement

This bit of ImageListPager used to call wfLocalFile(), but was
accidentally replaced with the replacement for wfFindFile() instead.

Bug: T226102
Change-Id: Id50a5359fe2353ae88012d1f5a3331f570b73922
includes/specials/pagers/ImageListPager.php