jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/344493 )
Change subject: Fix indent in json
......................................................................
Fix indent in json
Change-Id: Ia802b043210638d111811f8b62508b2712bf5984
---
M composer.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Jforrester: Looks good to me, approved
diff --git a/composer.json b/composer.json
index 7313a12..f216f6d 100644
--- a/composer.json
+++ b/composer.json
@@ -36,7 +36,7 @@
"autoload": {
"files": [
"PipeEscape.php"
- ]
+ ]
},
"config": {
"optimize-autoloader": true,
--
To view, visit https://gerrit.wikimedia.org/r/344493
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia802b043210638d111811f8b62508b2712bf5984
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PipeEscape
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
