Jdlrobson has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/85934


Change subject: Bug: Check user exists before trying to render it.
......................................................................

Bug: Check user exists before trying to render it.

Change-Id: I14820a9508ad4d0b750ef5671d62dfdccba1e6df
---
M includes/specials/SpecialUserProfile.php
1 file changed, 7 insertions(+), 3 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend 
refs/changes/34/85934/1

diff --git a/includes/specials/SpecialUserProfile.php 
b/includes/specials/SpecialUserProfile.php
index 78b2485..63afbf7 100644
--- a/includes/specials/SpecialUserProfile.php
+++ b/includes/specials/SpecialUserProfile.php
@@ -212,9 +212,13 @@
                } else if ( $par ) {
                        $user = User::newFromName( $par );
                        // prepare content
-                       $this->setUserProfileUIElements( $user );
-                       $html = Html::openElement( 'div', array( 'class' => 
'profile' ) ) .
-                               $this->getUserSummary( $user ) . 
$this->getRecentActivityHtml( $user ) . '</div>';
+                       if ( $user ) {
+                               $this->setUserProfileUIElements( $user );
+                               $html = Html::openElement( 'div', array( 
'class' => 'profile' ) ) .
+                                       $this->getUserSummary( $user ) . 
$this->getRecentActivityHtml( $user ) . '</div>';
+                       } else {
+                               $html = $this->getHtmlNoArg();
+                       }
                } else {
                        $html = $this->getHtmlNoArg();
                }

-- 
To view, visit https://gerrit.wikimedia.org/r/85934
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I14820a9508ad4d0b750ef5671d62dfdccba1e6df
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <jrob...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to