https://bugzilla.wikimedia.org/show_bug.cgi?id=44385
--- Comment #1 from Bartosz Dziewoński <[email protected]> --- Okay, so since it looks like no one's willing to take action unless I do it first, here's what I'm going to do. Comments welcome, but if you come back later and -2 my commits once I create them, I'll be very angry. Regarding points 1 and 4: I'm just going to merge both the core file with the Vector extension one, and keep the result in Vector (completely killing core version). The core one is entirely Vector-specific anyway (so very unlikely to have been used by anything external), and I think that this functionality (being really a partial workaround for low-res issues with the skin) belongs to the extension instead of the skin. Regarding point 2: I'll choose whichever version works properly and kill the overriding. Regarding point 3: I'll just fix the heading selectors, whatever the code does. Speak now or forever hold your peace ;) -- You are receiving this mail because: You are the assignee for the bug. You are watching all bug changes. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
