Bartosz Dziewoński has uploaded a new change for review.
https://gerrit.wikimedia.org/r/126989
Change subject: Remove $wmgUsabilityEnforce
......................................................................
Remove $wmgUsabilityEnforce
Was 'true' for everyone for ages.
The variable $wgEditToolbarGlobalEnable this used to control seems not
to exist anymore, Googling only comes up with some commits logs from
2009.
Change-Id: I0fd76f29924790a0732e8eb0476d2bd0bf1bec48
---
M wmf-config/CommonSettings.php
M wmf-config/InitialiseSettings.php
2 files changed, 2 insertions(+), 9 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config
refs/changes/89/126989/1
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 43c3674..953a153 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -1623,11 +1623,8 @@
$wgHiddenPrefs[] = 'wikieditor-previewDialog';
$wgHiddenPrefs[] = 'wikieditor-publish';
$wgHiddenPrefs[] = 'wikieditor-highlight';
-if ( $wmgUsabilityEnforce ) {
- $wgEditToolbarGlobalEnable = false;
- $wgDefaultUserOptions['usebetatoolbar'] = 1;
- $wgDefaultUserOptions['usebetatoolbar-cgd'] = 1;
-}
+$wgDefaultUserOptions['usebetatoolbar'] = 1;
+$wgDefaultUserOptions['usebetatoolbar-cgd'] = 1;
// For Babaco... these are still experimental, won't be on by default
$wgNavigableTOCUserEnable = true;
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index 86b3d7d..a020bdc 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -10444,10 +10444,6 @@
'votewiki' => false,
),
-'wmgUsabilityEnforce' => array(
- 'default' => true,
-),
-
'wmgUseFooterContactLink' => array(
// Make sure 'MediaWiki:Contact' and 'MediaWiki:Contact-url' are
defined.
'default' => false,
--
To view, visit https://gerrit.wikimedia.org/r/126989
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I0fd76f29924790a0732e8eb0476d2bd0bf1bec48
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
