dépôts
/
lhc
/
web
/
wiklou.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge "RCFilters: Reduce space between filters and saved queries button"
[lhc/web/wiklou.git]
/
maintenance
/
convertUserOptions.php
diff --git
a/maintenance/convertUserOptions.php
b/maintenance/convertUserOptions.php
index
70f3654
..
675d069
100644
(file)
--- a/
maintenance/convertUserOptions.php
+++ b/
maintenance/convertUserOptions.php
@@
-24,6
+24,7
@@
require_once __DIR__ . '/Maintenance.php';
use Wikimedia\Rdbms\ResultWrapper;
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.
/**
* Maintenance script to convert user options to the new `user_properties` table.
@@
-76,7
+77,7
@@
class ConvertUserOptions extends Maintenance {
/**
* @param ResultWrapper $res
/**
* @param ResultWrapper $res
- * @param Database $dbw
+ * @param
I
Database $dbw
* @return null|int
*/
function convertOptionBatch( $res, $dbw ) {
* @return null|int
*/
function convertOptionBatch( $res, $dbw ) {