summaryrefslogtreecommitdiff
path: root/maintenance/renderDump.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2014-12-27 15:41:37 +0100
committerPierre Schmitz <pierre@archlinux.de>2014-12-31 11:43:28 +0100
commitc1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch)
tree2b38796e738dd74cb42ecd9bfd151803108386bc /maintenance/renderDump.php
parentb88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff)
Update to MediaWiki 1.24.1
Diffstat (limited to 'maintenance/renderDump.php')
-rw-r--r--maintenance/renderDump.php5
1 files changed, 3 insertions, 2 deletions
diff --git a/maintenance/renderDump.php b/maintenance/renderDump.php
index 0cde28c5..169f512c 100644
--- a/maintenance/renderDump.php
+++ b/maintenance/renderDump.php
@@ -7,7 +7,7 @@
* Templates etc are pulled from the local wiki database, not from the dump.
*
* Copyright (C) 2006 Brion Vibber <brion@pobox.com>
- * http://www.mediawiki.org/
+ * https://www.mediawiki.org/
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
@@ -78,12 +78,13 @@ class DumpRenderer extends Maintenance {
/**
* Callback function for each revision, turn into HTML and save
- * @param $rev Revision
+ * @param Revision $rev
*/
public function handleRevision( $rev ) {
$title = $rev->getTitle();
if ( !$title ) {
$this->error( "Got bogus revision with null title!" );
+
return;
}
$display = $title->getPrefixedText();