jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/361886 )
Change subject: composer.json: corrected extensions name
......................................................................
composer.json: corrected extensions name
The extension installed in a wrong directory (Wikimediaevents) previously,
because of the wrong name given. With this patch, it should install in the
right place (WikimediaEvents).
Bug: T167313
Change-Id: I156ee9ac9a7d3b3ae414733c7d83ca9b61c7339b
---
M composer.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Dbarratt: Looks good to me, approved
diff --git a/composer.json b/composer.json
index a8afc57..a683f33 100644
--- a/composer.json
+++ b/composer.json
@@ -1,5 +1,5 @@
{
- "name": "mediawiki/wikimediaevents",
+ "name": "mediawiki/wikimedia-events",
"type": "mediawiki-extension",
"license": "GPL-2.0+",
"minimum-stability": "dev",
--
To view, visit https://gerrit.wikimedia.org/r/361886
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I156ee9ac9a7d3b3ae414733c7d83ca9b61c7339b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaEvents
Gerrit-Branch: master
Gerrit-Owner: H0schi <hoschi...@web.de>
Gerrit-Reviewer: Aklapper <aklap...@wikimedia.org>
Gerrit-Reviewer: Dbarratt <dbarr...@wikimedia.org>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
