wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-14 11:16:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
2557 commits 163 branches 0 tags 73 MiB
Commit graph

4 commits

Author SHA1 Message Date
James D. Forrester 1ee78723d9 build: Enable phpcs rule 'Generic.PHP.ForbiddenFunctions.FoundWithAlternative' and make pass 
Change-Id: Ib883696662745641ee8b59ddb4fe478a44c46a02
 2015-10-29 12:57:15 +01:00
Siebrand Mazeland 33126b69aa Update formatting 
In preparation of Code Sniffer based updates.

Change-Id: Id5d43332b44a37665d57dc24ef8c432bc65b2f6a
 2015-10-03 23:28:54 -04:00
Alex Monk 6b5a76939b chmod 644 a few files 
Bug: T104721
Change-Id: Iee1ef18d3227807110d4e25f0c48f17907adf8ad
 2015-07-03 19:31:15 +01: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