jenkins-bot has submitted this change and it was merged.

Change subject: Disable 'toc-floated' user option on hevoy
......................................................................


Disable 'toc-floated' user option on hevoy

This patch sets the 'toc-floated' user option — used by the
TocTree extension which is installed by all Wikivoyages — to
'false' on the Hebrew project.

Since all the other Wikivoyages seem to be doing just fine
with the option set to 'true' by default, that's what we'll
use. (I'm turning this into an array in case some other
Wikivoyage will want to set this to false; I believe it'll
be easier to do things this way.)

Bug: 46864
Change-Id: I71d31ddc5be4a4b9dd47c0d0bd1404de7c8d7b77
---
M wmf-config/CommonSettings.php
M wmf-config/InitialiseSettings.php
2 files changed, 6 insertions(+), 1 deletion(-)

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



diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 9e25ce9..909f56d 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -2392,7 +2392,7 @@
 
 if ( $wmgUseTocTree ) {
        require_once( "$IP/extensions/TocTree/TocTree.php" );
-       $wgDefaultUserOptions['toc-floated'] = true;
+       $wgDefaultUserOptions['toc-floated'] = $wmgUseFloatedToc;
 }
 
 if ( $wmgUseInsider ) {
diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index b31e016..92dace0 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -9214,6 +9214,11 @@
        'wikiversity' => true,
 ),
 
+'wmgUseFloatedToc' => array(
+       'default' => true,
+       'hewikivoyage' => false, // bug 46864
+),
+
 'wmgUseSpecialNuke' => array(
        'default' => true,
        'loginwiki' => false,

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I71d31ddc5be4a4b9dd47c0d0bd1404de7c8d7b77
Gerrit-PatchSet: 11
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Vogone <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Hazard-SJ <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: Odder <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: Vogone <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to