wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-20 18:52:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/.gitignore

8 lines
66 B
Plaintext
Raw Normal View History

Add .gitignore Change-Id: I4a19650ef68655cd8d6238536849a6082c353a96
2012-05-21 00:36:24 +00:00
*~
*.kate-swp
.*.swp
Maintenance for Gadgets extension. * Use Message class. * Redice globals usage. * Update .gitignore. Change-Id: I087c8209b1a7ccf63171a2c14c8809eed90a297b
2012-08-17 09:28:09 +00:00
.idea
Update Jenkins tests Run jshint through npm instead. Also add composer.json to run phplint and in future run the php code sniffer. Signed-off-by: Antoine Musso <hashar@free.fr> Change-Id: I1797ac2bce1936ed75da76618f28fc239b60001b
2015-11-16 19:26:56 +00:00
/node_modules/
/vendor/
/composer.lock
Reference in a new issue Copy permalink