wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-13 17:57:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-RSS/.gitignore
Umherirrender 08928d5380 Add php-parallel-lint 
php-lint will test for valid php files

Change-Id: Iea2202dc7c306bc5ec1abf73359fb5956f1b1a00
2017-05-06 12:50:01 +02:00

7 lines
48 B
Plaintext
Raw Blame History

.svn
*~
*.kate-swp
.*.swp
node_modules/
/vendor
Reference in a new issue View git blame Copy permalink