jenkins-bot has submitted this change and it was merged.

Change subject: update composer file
......................................................................


update composer file

Change-Id: I88974766c2a72ac16d41c512a75e49b8b778bed5
---
M composer.json
1 file changed, 35 insertions(+), 30 deletions(-)

Approvals:
  Aude: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/composer.json b/composer.json
index 4f40fc0..8aa5a3b 100644
--- a/composer.json
+++ b/composer.json
@@ -1,31 +1,36 @@
 {
-  "name": "diff/diff",
-  "type": "library",
-  "description": "Library for diffing, patching and representing differences 
between complex objects",
-  "keywords": [
-    "diff",
-    "wikidata"
-  ],
-  "homepage": "https://github.com/wikimedia/mediawiki-extensions-Diff";,
-  "license": "GPL-2.0+",
-  "authors": [
-    {
-      "name": "Jeroen De Dauw",
-      "email": "jeroended...@gmail.com",
-      "homepage": "http://jeroendedauw.com";,
-      "role": "Developer"
-    }
-  ],
-  "support": {
-    "issues": "https://bugzilla.wikimedia.org/";,
-    "irc": "irc://irc.freenode.net/wikimedia-wikidata",
-    "forum": "https://www.mediawiki.org/wiki/Extension_talk:Diff";,
-    "wiki": "https://www.mediawiki.org/wiki/Extension:Diff";
-  },
-  "require": {
-    "php": ">=5.3.0"
-  },
-  "require-dev": {
-    "satooshi/php-coveralls": "dev-master"
-  }
-}
\ No newline at end of file
+       "name": "diff/diff",
+       "type": "library",
+       "description": "Library for diffing, patching and representing 
differences between complex objects",
+       "keywords": [
+               "diff",
+               "wikidata"
+       ],
+       "homepage": "https://github.com/wikimedia/mediawiki-extensions-Diff";,
+       "license": "GPL-2.0+",
+       "authors": [
+               {
+                       "name": "Jeroen De Dauw",
+                       "email": "jeroended...@gmail.com",
+                       "homepage": "http://jeroendedauw.com";,
+                       "role": "Developer"
+               }
+       ],
+       "support": {
+               "issues": "https://bugzilla.wikimedia.org/";,
+               "irc": "irc://irc.freenode.net/wikimedia-wikidata",
+               "forum": "https://www.mediawiki.org/wiki/Extension_talk:Diff";,
+               "wiki": "https://www.mediawiki.org/wiki/Extension:Diff";
+       },
+       "require": {
+               "php": ">=5.3.0"
+       },
+       "require-dev": {
+               "satooshi/php-coveralls": "dev-master"
+       },
+       "autoload": {
+               "files" : [
+                       "Diff.php"
+               ]
+       }
+}

-- 
To view, visit https://gerrit.wikimedia.org/r/88735
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I88974766c2a72ac16d41c512a75e49b8b778bed5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Diff
Gerrit-Branch: mw1.22-wmf21
Gerrit-Owner: Aude <aude.w...@gmail.com>
Gerrit-Reviewer: Aude <aude.w...@gmail.com>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to