jenkins-bot has submitted this change and it was merged.
Change subject: Rename ext-installer to mediawiki-installer
......................................................................
Rename ext-installer to mediawiki-installer
It's not an extension.
Bug: T137560
Change-Id: Ib1d86d57e39d59fbad37d1674e99c86595138901
---
M TranslateSettings.php
M groups/MediaWiki/MediaWiki.yaml
2 files changed, 3 insertions(+), 2 deletions(-)
Approvals:
Nikerabbit: Looks good to me, approved
jenkins-bot: Verified
diff --git a/TranslateSettings.php b/TranslateSettings.php
index ebbf120..b636479 100644
--- a/TranslateSettings.php
+++ b/TranslateSettings.php
@@ -77,6 +77,7 @@
$wgTranslateGroupFiles[] = "$GROUPS/MediaWiki/WikimediaAgg.yaml";
$wgTranslateGroupFiles[] = "$GROUPS/MediaWiki/ExtensionsAgg.yaml";
$wgTranslateGroupFiles[] = "$GROUPS/MediaWiki/SkinsAgg.yaml";
+$wgTranslateGroupAliases['ext-installer'] = 'mediawiki-installer';
$wgTranslateGroupFiles[] = "$GROUPS/PageTranslationAgg.yaml";
diff --git a/groups/MediaWiki/MediaWiki.yaml b/groups/MediaWiki/MediaWiki.yaml
index b7d94c1..f4712e8 100644
--- a/groups/MediaWiki/MediaWiki.yaml
+++ b/groups/MediaWiki/MediaWiki.yaml
@@ -28,7 +28,7 @@
GROUPS:
- core
- ext-0-all
- - ext-installer
+ - mediawiki-installer
- mediawiki-skin-0-all
- mediawiki-api
# Do not add mediawiki-top group here, or we have infinite recursion issues
@@ -566,7 +566,7 @@
---
BASIC:
- id: ext-installer
+ id: mediawiki-installer
label: Installer
class: FileBasedMessageGroup
description: "{{int:config-desc}}"
--
To view, visit https://gerrit.wikimedia.org/r/293755
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib1d86d57e39d59fbad37d1674e99c86595138901
Gerrit-PatchSet: 1
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
