| Index: trunk/phase3/maintenance/convertUserOptions.php |
| — | — | @@ -38,7 +38,7 @@ |
| 39 | 39 | $dbw = wfGetDB( DB_MASTER ); |
| 40 | 40 | |
| 41 | 41 | if ( !$dbw->fieldExists( 'user', 'user_options ' ) ) { |
| 42 | | - $this->output( "No user_options field in the user table. Nothing to migrate" ); |
| | 42 | + $this->output( "No user_options field in the user table. Nothing to migrate..." ); |
| 43 | 43 | return; |
| 44 | 44 | } |
| 45 | 45 | while ( $id !== null ) { |