jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/333813 )

Change subject: Remove unused wgSupressPageTitle global
......................................................................


Remove unused wgSupressPageTitle global

Bug: T143145
Change-Id: I7ea977669ecf98af02d9ce0fff468439a042158c
---
M SocialProfile.php
M UserProfile/SpecialEditProfile.php
M UserProfile/SpecialUpdateProfile.php
3 files changed, 3 insertions(+), 9 deletions(-)

Approvals:
  Jack Phoenix: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/SocialProfile.php b/SocialProfile.php
index 1d123d5..39a9abf 100644
--- a/SocialProfile.php
+++ b/SocialProfile.php
@@ -150,7 +150,7 @@
        'path' => __FILE__,
        'name' => 'SocialProfile',
        'author' => array( 'Aaron Wright', 'David Pean', 'Jack Phoenix' ),
-       'version' => '1.10',
+       'version' => '1.11',
        'url' => 'https://www.mediawiki.org/wiki/Extension:SocialProfile',
        'descriptionmsg' => 'socialprofile-desc',
 );
diff --git a/UserProfile/SpecialEditProfile.php 
b/UserProfile/SpecialEditProfile.php
index afcf671..5816e21 100644
--- a/UserProfile/SpecialEditProfile.php
+++ b/UserProfile/SpecialEditProfile.php
@@ -23,13 +23,11 @@
         * @param $section Mixed: parameter passed to the page or null
         */
        public function execute( $par ) {
-               global $wgUpdateProfileInRecentChanges, $wgSupressPageTitle;
+               global $wgUpdateProfileInRecentChanges;
 
                $out = $this->getOutput();
                $request = $this->getRequest();
                $user = $this->getUser();
-
-               $wgSupressPageTitle = true;
 
                // Set the page title, robot policies, etc.
                $this->setHeaders();
diff --git a/UserProfile/SpecialUpdateProfile.php 
b/UserProfile/SpecialUpdateProfile.php
index 50da25d..6485983 100644
--- a/UserProfile/SpecialUpdateProfile.php
+++ b/UserProfile/SpecialUpdateProfile.php
@@ -51,13 +51,11 @@
         * @param $section Mixed: parameter passed to the page or null
         */
        public function execute( $section ) {
-               global $wgUpdateProfileInRecentChanges, 
$wgUserProfileThresholds, $wgSupressPageTitle, $wgAutoConfirmCount, 
$wgEmailConfirmToEdit;
+               global $wgUpdateProfileInRecentChanges, 
$wgUserProfileThresholds, $wgAutoConfirmCount, $wgEmailConfirmToEdit;
 
                $out = $this->getOutput();
                $request = $this->getRequest();
                $user = $this->getUser();
-
-               $wgSupressPageTitle = true;
 
                // Set the page title, robot policies, etc.
                $this->setHeaders();
@@ -115,8 +113,6 @@
 
                        // Boo, go away!
                        if ( $can_create == false ) {
-                               global $wgSupressPageTitle;
-                               $wgSupressPageTitle = false;
                                $out->setPageTitle( $this->msg( 
'user-profile-create-threshold-title' )->text() );
                                $thresholdMessages = array();
                                foreach ( $thresholdReasons as $requiredAmount 
=> $reason ) {

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I7ea977669ecf98af02d9ce0fff468439a042158c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SocialProfile
Gerrit-Branch: master
Gerrit-Owner: SamanthaNguyen <samanthanguyen1...@gmail.com>
Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net>
Gerrit-Reviewer: Lewis Cawte <le...@lewiscawte.me>
Gerrit-Reviewer: jenkins-bot <>

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

Reply via email to