X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=blobdiff_plain;f=maintenance%2FconvertUserOptions.php;h=70f365485d243f5df8d0d5b4db156222c7b0306e;hp=14557f42f9a0b73387307a89affd27fa10adf3e3;hb=22806b0a4509e97b56fb52b387e17e3c80fb7eb2;hpb=96906168cac0e9a7748511b48c369cf22c8406d5

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