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

Change subject: Add NS_MEDIAWIKI to $wgTranslateMessageNamespaces
......................................................................


Add NS_MEDIAWIKI to $wgTranslateMessageNamespaces

Depends on https://gerrit.wikimedia.org/r/97699

Change-Id: I2ce8075f9e86620e076f650feac38b14461f3332
---
M TranslateSettings.php
1 file changed, 1 insertion(+), 0 deletions(-)

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



diff --git a/TranslateSettings.php b/TranslateSettings.php
index fe484c7..6328c7e 100644
--- a/TranslateSettings.php
+++ b/TranslateSettings.php
@@ -298,6 +298,7 @@
 );
 
 # Namespace 8
+$wgTranslateMessageNamespaces[] = NS_MEDIAWIKI;
 $wgTranslateGroupFiles[] = "$GROUPS/MediaWiki/jquery.i18n.yaml";
 
 # No longer in use.

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I2ce8075f9e86620e076f650feac38b14461f3332
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot

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

Reply via email to