diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2007-05-16 20:58:53 +0000 |
commit | cecb985bee3bdd252e1b8dc0bd500b37cd52be01 (patch) | |
tree | 17266aa237742640aabee7856f0202317a45d540 /maintenance/dumpHTML.php | |
parent | 0bac06c301f2a83edb0236e4c2434da16848d549 (diff) |
Aktualisierung auf MediaWiki 1.10.0
Plugins angepasst und verbessert
kleine Korrekturen am Design
Diffstat (limited to 'maintenance/dumpHTML.php')
-rw-r--r-- | maintenance/dumpHTML.php | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/maintenance/dumpHTML.php b/maintenance/dumpHTML.php index 2c0c29c4..b9b052ed 100644 --- a/maintenance/dumpHTML.php +++ b/maintenance/dumpHTML.php @@ -1,8 +1,7 @@ <?php /** * @todo document - * @package MediaWiki - * @subpackage Maintenance + * @addtogroup Maintenance */ /** @@ -62,7 +61,7 @@ if ( !empty( $options['s'] ) ) { if ( !empty( $options['e'] ) ) { $end = $options['e']; } else { - $dbr =& wfGetDB( DB_SLAVE ); + $dbr = wfGetDB( DB_SLAVE ); $end = $dbr->selectField( 'page', 'max(page_id)', false ); } @@ -117,7 +116,7 @@ if ( $options['special'] ) { $wgHTMLDump->doSharedImageDescriptions(); } else { print "Creating static HTML dump in directory $dest. \n"; - $dbr =& wfGetDB( DB_SLAVE ); + $dbr = wfGetDB( DB_SLAVE ); $server = $dbr->getProperty( 'mServer' ); print "Using database {$server}\n"; |