Revision 4f3533feaf9ba4b285417e91d4cc3cba0d48a143

Committed on 30/10/2013 8:21 am by Gaetano Giunta <giunta.gaetano@gmail.com> [GitHub Diff]

Fix check-php-files task; add check-coding-style task; rename the bin script