jenkins-bot has submitted this change and it was merged.
Change subject: Remove wmf-specific check from ProofreadPageInit
......................................................................
Remove wmf-specific check from ProofreadPageInit
These have been removed from InitialiseSettings.php now
so no longer needed.
Change-Id: Ia43a677515f02cbbbe86cd00590f546903a86730
---
M includes/ProofreadPageInit.php
1 file changed, 2 insertions(+), 5 deletions(-)
Approvals:
Tpt: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/ProofreadPageInit.php b/includes/ProofreadPageInit.php
index a273be1..686e914 100644
--- a/includes/ProofreadPageInit.php
+++ b/includes/ProofreadPageInit.php
@@ -56,11 +56,8 @@
}
// Also Add Page/Index namespace to $wgContentNamespaces
- // Temporary to prevent duplicate values in $wgContentNamespaces
- // can be removed when wmf-config is sorted out
- if ( !in_array( $wgProofreadPageNamespaceIds[$key],
$wgContentNamespaces ) ) {
- $wgContentNamespaces[] =
$wgProofreadPageNamespaceIds[$key];
- }
+ $wgContentNamespaces[] = $wgProofreadPageNamespaceIds[$key];
+
}
/**
--
To view, visit https://gerrit.wikimedia.org/r/248884
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia43a677515f02cbbbe86cd00590f546903a86730
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ProofreadPage
Gerrit-Branch: master
Gerrit-Owner: Glaisher <[email protected]>
Gerrit-Reviewer: Tpt <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
