https://bugzilla.wikimedia.org/show_bug.cgi?id=54604
--- Comment #68 from Bartosz Dziewoński <[email protected]> --- Oh, MediaWiki uses more advanced things for styling (like… LESS?), that was never the problem. The only problem was unspecified performance issues. But I really don't feel like introducing two new ways of doing such a little feature is the right thing to do from a maintainability standpoint (both the maintainability of core, and maintainability of any skins that might want to use different icons). -- 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
