jenkins-bot has submitted this change and it was merged. Change subject: [Lingo] Lingo.i18n.magic.php was moved into a subdir ......................................................................
[Lingo] Lingo.i18n.magic.php was moved into a subdir Lingo.i18n.magic.php was moved from .../Lingo to .../Lingo/src https://gerrit.wikimedia.org/r/#/c/272530/ Change-Id: I39ca20e2ec55159fb79d7638e6ceca61110f076e --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Raimond Spekking: Looks good to me, approved jenkins-bot: Verified diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index c94347a..6cf7cc5 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -1331,7 +1331,7 @@ Lightweight RDFa Lingo -magicfile = Lingo/Lingo.i18n.magic.php +magicfile = Lingo/src/Lingo.i18n.magic.php Link Filter optional = linkfilter-url -- To view, visit https://gerrit.wikimedia.org/r/273773 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I39ca20e2ec55159fb79d7638e6ceca61110f076e Gerrit-PatchSet: 2 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Foxtrott <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: Raimond Spekking <[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
