Vojtěch Krása
Vojtěch Krása
Well certainly. And I am not sure if you want ANSI coloring or Grep Console to work. That are two separate things.
It has something to do with PhpStorm and Phing, I need to debug it to see what is going on.
Sorry, the Phing console is used in such a way that it does not enable statistics. So I disabled those actions in a next version. I will try to push...
https://youtrack.jetbrains.com/issue/WI-66157
*  maybe jetbrains removed that icon feature *  and added this icon feature, that's why it uses new icons. *   ...
Well, I am kinda fine with all that, as long as the icon is not a complete colorless garbage.
Well, I don't have '2016.2 only' option (ᵔᴥᵔ)
Regarding the override/interface icons: they now use svg one. That was added recently so the plugin does not cover it. 
It would be best to have the ignoring configurable for all those cases.