X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;f=maintenance%2FconvertUserOptions.php;h=675d0695d9047789b7621abab9666a7b2a16e023;hb=fe067574483b15b500f06262aa37a0c4c57544ed;hp=70f365485d243f5df8d0d5b4db156222c7b0306e;hpb=22c59e66e7513e7d320042f63a16f35045ee2879;p=lhc%2Fweb%2Fwiklou.git

diff --git a/maintenance/convertUserOptions.php b/maintenance/convertUserOptions.php
index 70f365485d..675d0695d9 100644
--- a/maintenance/convertUserOptions.php
+++ b/maintenance/convertUserOptions.php
@@ -24,6 +24,7 @@
 require_once __DIR__ . '/Maintenance.php';
 
 use Wikimedia\Rdbms\ResultWrapper;
+use Wikimedia\Rdbms\IDatabase;
 
 /**
  * Maintenance script to convert user options to the new `user_properties` table.
@@ -76,7 +77,7 @@ class ConvertUserOptions extends Maintenance {
 
 	/**
 	 * @param ResultWrapper $res
-	 * @param Database $dbw
+	 * @param IDatabase $dbw
 	 * @return null|int
 	 */
 	function convertOptionBatch( $res, $dbw ) {