wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 10:49:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
1607 commits 155 branches 0 tags 71 MiB
Commit graph

2 commits

Author SHA1 Message Date
Željko Filipin 57241c6867 Prepare repository for running RuboCop after every push to Gerrit 
For now ignoring all problems.

Bug: 69245
Change-Id: I0e411fba725ecd9aea0ef9d40a145efb62bbf0fa
 2014-10-21 12:59:54 +02: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