diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /vendor/wikimedia/composer-merge-plugin/.arclint | |
parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) |
Update to MediaWiki 1.26.0
Diffstat (limited to 'vendor/wikimedia/composer-merge-plugin/.arclint')
-rw-r--r-- | vendor/wikimedia/composer-merge-plugin/.arclint | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/vendor/wikimedia/composer-merge-plugin/.arclint b/vendor/wikimedia/composer-merge-plugin/.arclint new file mode 100644 index 00000000..da42f29a --- /dev/null +++ b/vendor/wikimedia/composer-merge-plugin/.arclint @@ -0,0 +1,13 @@ +{ + "exclude": "(^vendor/)", + "linters": { + "php": { + "type": "php", + "include": "(\\.php$)" + }, + "json": { + "type": "json", + "include": "(\\.json$)" + } + } +} |