Merge "RCFilters UI: Add 'highlight' icon to highlight button"

[lhc/web/wiklou.git] / includes / page / WikiFilePage.php

diff --git a/includes/page/WikiFilePage.php b/includes/page/WikiFilePage.php
index 1fa4bfa..e4b524b 100644 (file)
--- a/includes/page/WikiFilePage.php
+++ b/includes/page/WikiFilePage.php
@@ -20,6 +20,8 @@
  * @file
  */
 
+use Wikimedia\Rdbms\FakeResultWrapper;
+
 /**
  * Special handling for file pages
  *