Merge "Fix EnhancedChangesList::getDiffHistLinks null exception"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 21 May 2017 12:28:57 +0000 (12:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 21 May 2017 12:28:57 +0000 (12:28 +0000)
includes/changes/EnhancedChangesList.php

index 1a2da1a..b34a33f 100644 (file)
@@ -717,6 +717,11 @@ class EnhancedChangesList extends ChangesList {
                if ( $rc->getAttribute( 'rc_type' ) == RC_CATEGORIZE ) {
                        // For categorizations we must swap the category title with the page title!
                        $pageTitle = Title::newFromID( $rc->getAttribute( 'rc_cur_id' ) );
+                       if ( !$pageTitle ) {
+                               // The page has been deleted, but the RC entry
+                               // deletion job has not run yet. Just skip.
+                               return '';
+                       }
                }
 
                $retVal = ' ' . $this->msg( 'parentheses' )