Merge "Re add wpScrolltop id in EditPage"

[lhc/web/wiklou.git] / maintenance / runBatchedQuery.php

diff --git a/maintenance/runBatchedQuery.php b/maintenance/runBatchedQuery.php
index f8eedb3..b0a2b92 100644 (file)
--- a/maintenance/runBatchedQuery.php
+++ b/maintenance/runBatchedQuery.php
@@ -25,6 +25,8 @@
 
 require_once __DIR__ . '/Maintenance.php';
 
+use Wikimedia\Rdbms\IDatabase;
+
 /**
  * Maintenance script to run a database query in batches and wait for replica DBs.
  *