https://bugzilla.wikimedia.org/show_bug.cgi?id=34617
Roan Kattouw <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #3 from Roan Kattouw <[email protected]> 2012-04-17 19:05:39 UTC --- It would also be nice to have Jenkins at least run a PHP lint for all extensions in git, not just for core. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
