Merge "Change 'editfont' default preference to 'monospace'"
[lhc/web/wiklou.git] / includes / TitleArrayFromResult.php
index 668ea54..189fb40 100644 (file)
@@ -24,6 +24,8 @@
  * @file
  */
 
+use Wikimedia\Rdbms\ResultWrapper;
+
 class TitleArrayFromResult extends TitleArray implements Countable {
        /** @var ResultWrapper */
        public $res;