wikimedia/mediawiki-extensions-Thanks
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks synced 2024-11-16 11:29:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
1386 commits 279 branches 0 tags 21 MiB
Commit graph

5 commits

Author SHA1 Message Date
Kunal Mehta e696cba57f Add phan configuration 
Change-Id: I6d0a0823404e5e50819ae0997b7d2c5267a4e144
 2018-04-09 00:12:28 -07:00
Umherirrender 4a95a1a0cd Expand .gitignore for more editors 
List is from mediawiki/core

Change-Id: Ia3dad0c12c7598194946c84cc064a2f514eda766
 2016-11-13 13:22:49 +01:00
James D. Forrester 03b8f88fff build: Add doxygen, use composer for phpcs, make pass 
Change-Id: I939d6f4d989cf21c0f817d262bf3e4acedcf2ffe
 2016-04-25 15:42:04 +00:00
James D. Forrester e690a5b9f9 build: Provide jsduck to build JS-land documentation 
Change-Id: I8d24398e23e1c8f57183a32bcf9fdf8795e5543f
 2016-04-25 11:38:26 -04:00
Roan Kattouw 8b9bc3a44f Add Grunt infrastructure for CI 
* Add package.json based on Flow's
* Add Gruntfile.js based on Flow's
* Add .csslintrc and .jscsrc with rules to silence errors for now
* Add .gitignore (!) to ignore node_modules/

Change-Id: I2db213da2f0ce77567f7968e73af9cdd6ed9da82
 2015-05-01 20:50:15 -07:00