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.
*
/**
* @param ResultWrapper $res
- * @param DatabaseBase $dbw
+ * @param IDatabase $dbw
* @return null|int
*/
function convertOptionBatch( $res, $dbw ) {