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