On Tue, Sep 1, 2015 at 8:49 AM, Ori Livneh <ori(a)wikimedia.org> wrote:
So +1 for reviving it.
Feel free to, however I myself have neither the time nor inclination to
work on this; the components are:
* The extension itself:
https://github.com/wikimedia/mediawiki-extensions-Minifier
* Minifier service in extension's /server/ directory
* Core change
https://gerrit.wikimedia.org/r/#/c/74293/
--
Best regards,
Max Semenik ([[User:MaxSem]])