For those willing to help, there are still 56 open bugs among those I
filed last week to make phpunit happy. Don't jostle, there is enough for
everyone!
<https://bugzilla.wikimedia.org/buglist.cgi?chfieldfrom=2014-07-26&chfieldto=2014-08-02&email1=federicoleva&emailreporter1=1&emailtype1=substring&product=MediaWiki%20extensions&query_format=advanced&resolution=--->
Nemo