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 Vector extension contains enhancement for this skin.