Umherirrender has uploaded a new change for review. (
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(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/PipeEscape
refs/changes/93/344493/1
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: newchange
Gerrit-Change-Id: Ia802b043210638d111811f8b62508b2712bf5984
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PipeEscape
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
