jenkins-bot has submitted this change and it was merged.
Change subject: Rename MediaWiki/mediawiki-defines.txt to
MediaWiki/mediawiki-extensions.txt
......................................................................
Rename MediaWiki/mediawiki-defines.txt to MediaWiki/mediawiki-extensions.txt
Preparing for adding mediawiki-skins and this needed disambiguation.
Bug: 65040
Change-Id: Ib052bc7b9535b9cc2da88f4fa0cb6862006fda21
---
M TranslateSettings.php
M bin/repoupdate
R groups/MediaWiki/mediawiki-extensions.txt
3 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/TranslateSettings.php b/TranslateSettings.php
index 01d9f82..048bf74 100644
--- a/TranslateSettings.php
+++ b/TranslateSettings.php
@@ -84,7 +84,7 @@
function setupMediaWikiExtensions( &$list, &$deps, &$autoload ) {
global $GROUPS;
- $def = "$GROUPS/MediaWiki/mediawiki-defines.txt";
+ $def = "$GROUPS/MediaWiki/mediawiki-extensions.txt";
$path = '%GROUPROOT%/mediawiki-extensions/extensions/';
$foo = new PremadeMediawikiExtensionGroups( $def, $path );
diff --git a/bin/repoupdate b/bin/repoupdate
index 6b20e2b..14668cf 100755
--- a/bin/repoupdate
+++ b/bin/repoupdate
@@ -55,7 +55,7 @@
}
# Ugly. Eventually, I think we should end up with a file similar to
-# mediawiki-defines.txt where we can simply add a line like this:
+# mediawiki-extensions.txt where we can simply add a line like this:
# repo=https://gerrit.wikimedia.org/r/p/oojs/ui.git
# and then things magically happen based on the other configuration
# settings.
diff --git a/groups/MediaWiki/mediawiki-defines.txt
b/groups/MediaWiki/mediawiki-extensions.txt
similarity index 100%
rename from groups/MediaWiki/mediawiki-defines.txt
rename to groups/MediaWiki/mediawiki-extensions.txt
--
To view, visit https://gerrit.wikimedia.org/r/152249
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib052bc7b9535b9cc2da88f4fa0cb6862006fda21
Gerrit-PatchSet: 2
Gerrit-Project: translatewiki
Gerrit-Branch: master
Gerrit-Owner: Siebrand <siebr...@kitano.nl>
Gerrit-Reviewer: Nikerabbit <niklas.laxst...@gmail.com>
Gerrit-Reviewer: Raimond Spekking <raimond.spekk...@gmail.com>
Gerrit-Reviewer: Siebrand <siebr...@kitano.nl>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
