Core of MediaWiki, or core of the Vector skin? I am fine with doing that for the skin, but I would keep it out of MediaWiki. The design is going to change, and lots of folks use different skins and don't use the extension.
maiki
On 02/04/2013 06:02 PM, Sébastien Santoro wrote:
Good evening,
Hashar and me discussed about the Vector extension this morning on#wikimedia-tech and we wonder if the code shouldn't be merged to core.
Rationale: Vector is the main design of our product and the Vectorextension contains enhancement for this skin.