jenkins-bot has submitted this change and it was merged. Change subject: Fix fatal ......................................................................
Fix fatal PHP Fatal error: Call to a member function getLocalUrl() on a non-object in /usr/local/apache/common-local/php-1.23wmf4/extensions/MobileFrontend/includes/specials/SpecialHistory.php on line 94 Change-Id: I9c1a22ae12dee022254453ad6f931398d4c5a232 --- M includes/specials/SpecialHistory.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Jdlrobson: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/specials/SpecialHistory.php b/includes/specials/SpecialHistory.php index 795f53c..d22fe0b 100644 --- a/includes/specials/SpecialHistory.php +++ b/includes/specials/SpecialHistory.php @@ -93,7 +93,7 @@ $canSeeText = $rev->userCan( Revision::DELETED_TEXT, $user ); if ( $canSeeText && $prev && $prev->userCan( Revision::DELETED_TEXT, $user ) ) { $diffLink = SpecialPage::getTitleFor( 'MobileDiff', $prev->getId() )->getLocalUrl(); - } elseif ( $canSeeText ) { + } elseif ( $canSeeText && $rev->getTitle() !== null ) { $diffLink = $rev->getTitle()->getLocalUrl( array( 'oldid' => $rev->getId() ) ); } else { $diffLink = false; -- To view, visit https://gerrit.wikimedia.org/r/97133 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9c1a22ae12dee022254453ad6f931398d4c5a232 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: MaxSem <maxsem.w...@gmail.com> Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits