Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/152249
Change subject: Rename MediaWiki/mediawiki-defines.txt to MediaWiki/mediawiki-extensions.txt ...................................................................... Rename MediaWiki/mediawiki-defines.txt to MediaWiki/mediawiki-extensions.txt Change-Id: Ib052bc7b9535b9cc2da88f4fa0cb6862006fda21 --- M TranslateSettings.php M bin/repoupdate R groups/MediaWiki/mediawiki-extensions.txt 3 files changed, 2 insertions(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/translatewiki refs/changes/49/152249/1 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: newchange Gerrit-Change-Id: Ib052bc7b9535b9cc2da88f4fa0cb6862006fda21 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Siebrand <siebr...@kitano.nl> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits