[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Set proofreadpage-showheaders = 1 for tawikisource bnwikisource

[jenkins-bot (Code Review)]

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

Change subject: Set proofreadpage-showheaders = 1 for tawikisource bnwikisource
......................................................................


Set proofreadpage-showheaders = 1 for tawikisource bnwikisource

Refactoring to setting variable

Bug: T169478
Bug: T169481
Change-Id: I862897ad36cc6d00e1a02cc3d90c18df8d7ffe0d
---
M wmf-config/CommonSettings.php
M wmf-config/InitialiseSettings.php
2 files changed, 12 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 ae2d0b9..06dfb70 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -801,10 +801,13 @@
        wfLoadExtension( 'ProofreadPage' );
        if ( $wgDBname === 'dewikisource' ) {
                $wgGroupPermissions['*']['pagequality'] = true; # 27516
-       } elseif ( $wgDBname === 'enwikisource' || $wgDBname === 'svwikisource' 
) {
+       }
+
+       if ( $wmgProofreadPageShowHeaders ) {
                $wgDefaultUserOptions['proofreadpage-showheaders'] = 1;
        }
 }
+
 if ( $wmgUseLabeledSectionTransclusion ) {
        wfLoadExtension( 'LabeledSectionTransclusion' );
 }
diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index a4e52b3..a0107eb 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -11925,6 +11925,14 @@
        'frrwiki' => true, // T40023
 ],
 
+'wmgProofreadPageShowHeaders' => [
+       'default' => false,
+       'bnwikisource' => true,
+       'enwikisource' => true,
+       'svwikisource' => true,
+       'tawikisource' => true,
+],
+
 'wmgUseDPL' => [
        // DynamicPageList extension
        'default' => false,

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I862897ad36cc6d00e1a02cc3d90c18df8d7ffe0d
Gerrit-PatchSet: 4
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

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