wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
1870 commits 164 branches 0 tags 74 MiB
Commit graph

2 commits

Author SHA1 Message Date
Roan Kattouw 5aefeb3f2e Add Grunt infrastructure for CI 
* Update package.json based on Flow's
* Add Gruntfile.js based on Flow's
* Add .csslintrc and .jscsrc with rules to silence errors for now

Change-Id: Ia8e23537d8dccbcff9ee336f667dc463590c0235
 2015-05-01 20:35:23 -07:00
Erik Bernhardson 71c7e02858 Directory reshuffle, add dev tools 
* Port Flow Makefile to Echo
* Move resources to Resources.php

Change-Id: I75e96cc1e51a7768600ffc083550fc94ea9d1e6c
 2014-08-01 22:38:41 +00:00