jenkins-bot has submitted this change and it was merged.
Change subject: Enable user profile on desktop.
......................................................................
Enable user profile on desktop.
Special pages that only work on mobile are bad.
Turn off styling since it doesn't make sense in Vector.
Bug: T74323
Change-Id: Ie57bff70fdc38e8bcc0744c6a509e720bc45908d
---
M includes/Resources.php
M includes/specials/SpecialUserProfile.php
2 files changed, 5 insertions(+), 4 deletions(-)
Approvals:
Jdlrobson: Looks good to me, approved
Bmansurov: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Resources.php b/includes/Resources.php
index 6ecaed9..cfa0cff 100644
--- a/includes/Resources.php
+++ b/includes/Resources.php
@@ -1294,9 +1294,7 @@
),
'mobile.special.userprofile.styles' =>
$wgMFMobileSpecialPageResourceBoilerplate + array(
- 'styles' => array(
- 'less/specials/userprofile.less',
- ),
+ // This is NOT empty see $wgResourceModuleSkinStyles.
),
'mobile.special.uploads.scripts' => $wgMFResourceFileModuleBoilerplate
+ array(
@@ -1497,4 +1495,7 @@
// Module customizations
$wgResourceModuleSkinStyles['minerva'] = $wgMFResourceBoilerplate + array(
'mediawiki.skinning.content.parsoid' => array(),
+ 'mobile.special.userprofile.styles' => array(
+ 'less/specials/userprofile.less',
+ ),
);
diff --git a/includes/specials/SpecialUserProfile.php
b/includes/specials/SpecialUserProfile.php
index 4d395f3..9ecae44 100644
--- a/includes/specials/SpecialUserProfile.php
+++ b/includes/specials/SpecialUserProfile.php
@@ -8,7 +8,7 @@
*/
class SpecialUserProfile extends MobileSpecialPage {
/** @var boolean $hasDesktopVersion Whether this special page has or
has not a desktop version */
- protected $hasDesktopVersion = false;
+ protected $hasDesktopVersion = true;
/**
* Maximum number of characters to display as the user description
--
To view, visit https://gerrit.wikimedia.org/r/182337
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie57bff70fdc38e8bcc0744c6a509e720bc45908d
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Bmansurov <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: MZMcBride <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
