Merge "mediawiki.searchSuggest: Show full article title as a tooltip for each suggestion"

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

diff --git a/maintenance/convertUserOptions.php b/maintenance/convertUserOptions.php
index 34c643b..bf57244 100644 (file)
--- a/maintenance/convertUserOptions.php
+++ b/maintenance/convertUserOptions.php
@@ -46,6 +46,7 @@ class ConvertUserOptions extends Maintenance {
 
                if ( !$dbw->fieldExists( 'user', 'user_options', __METHOD__ ) ) {
                        $this->output( "nothing to migrate. " );
+
                        return;
                }
                while ( $id !== null ) {
@@ -68,8 +69,8 @@ class ConvertUserOptions extends Maintenance {
        }
 
        /**
-        * @param $res
-        * @param $dbw DatabaseBase
+        * @param ResultWrapper $res
+        * @param DatabaseBase $dbw
         * @return null|int
         */
        function convertOptionBatch( $res, $dbw ) {