wikimedia/mediawiki-extensions-Description2
1
0
Fork 1
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Description2 synced 2024-12-11 14:25:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Descri.../.gitignore

8 lines
75 B
Plaintext
Raw Normal View History

Add .gitignore Change-Id: I60729295704cce967c775bebfefc1743cd1d251a
2012-09-24 21:07:14 +00:00
*~
*.kate-swp
.*.swp
Add npm entry point Change-Id: Ibf52aaad3924f741a2ed44bd03193705f7b85233
2016-03-24 23:16:34 +00:00
node_modules/**
build: Add php-parallel-lint and MinusX php-lint will test for valid php files MinusX will test for executable bits Change-Id: I2dfeb4eb2fba609f0d8677eef94551fd77fffb41
2017-11-03 17:34:06 +00:00
vendor/**
composer.lock
build: Replace jsonlint with eslint Bug: T220036 Change-Id: I1651fbf89286442b392e6fe90899756705667f04
2021-02-15 19:27:55 +00:00
/.eslintcache
Reference in a new issue Copy permalink