diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2013-08-12 09:28:15 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2013-08-12 09:28:15 +0200 |
| commit | 08aa4418c30cfc18ccc69a0f0f9cb9e17be6c196 (patch) | |
| tree | 577a29fb579188d16003a209ce2a2e9c5b0aa2bd /maintenance/userDupes.inc | |
| parent | cacc939b34e315b85e2d72997811eb6677996cc1 (diff) | |
Update to MediaWiki 1.21.1
Diffstat (limited to 'maintenance/userDupes.inc')
| -rw-r--r-- | maintenance/userDupes.inc | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/maintenance/userDupes.inc b/maintenance/userDupes.inc index 31bae8ed..be45a111 100644 --- a/maintenance/userDupes.inc +++ b/maintenance/userDupes.inc @@ -26,13 +26,17 @@ /** * Look for duplicate user table entries and optionally prune them. + * + * This is still used by our MysqlUpdater at: + * includes/installer/MysqlUpdater.php + * * @ingroup Maintenance */ class UserDupes { - var $db; - var $reassigned; - var $trimmed; - var $failed; + private $db; + private $reassigned; + private $trimmed; + private $failed; private $outputCallback; function __construct( &$database, $outputCallback ) { |