X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=blobdiff_plain;f=maintenance%2FconvertUserOptions.php;h=675d0695d9047789b7621abab9666a7b2a16e023;hp=b8001a4d21036903c147bd1673c35a1bb5b49d60;hb=6c9a2923fe1ee3a65cb027be5e781772f2b12fbd;hpb=bdfe02223205923d923923dd420ba0dd863cd0fe

diff --git a/maintenance/convertUserOptions.php b/maintenance/convertUserOptions.php
index b8001a4d21..675d0695d9 100644
--- a/maintenance/convertUserOptions.php
+++ b/maintenance/convertUserOptions.php
@@ -23,6 +23,9 @@
 
 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.
  *
@@ -74,7 +77,7 @@ class ConvertUserOptions extends Maintenance {
 
 	/**
 	 * @param ResultWrapper $res
-	 * @param Database $dbw
+	 * @param IDatabase $dbw
 	 * @return null|int
 	 */
 	function convertOptionBatch( $res, $dbw ) {