mediawiki-skins-Vector

wikimedia/mediawiki-skins-Vector

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-18 13:05:50 +00:00

Commit graph

Author	SHA1	Message	Date
Jan Drewniak	125fa03395	Update Vector search icon Replaces vector search icon with an update version that is copied from the OOUI icon set and used in WVUI search. This update will help us unify the visual appearance of the existing search input with the one in WVUI. Bug: T264355 Change-Id: I34792ee80e711b10b441668cc4ae18cc0cc9daa6	2020-11-26 13:19:11 +01:00
jdlrobson	58457f8ae8	Dev: Vector is rearranged like other skins and extensions A resources folder is the defacto-standard across mediawiki repos. Vector now mirrors those by describing where files served by ResourceLoader are located. Change-Id: Ib7d8575112e8afaaa84221a6f30a15b34b51eb24	2020-01-28 16:57:38 +08:00

Author

SHA1

Message

Date

Jan Drewniak

125fa03395

Update Vector search icon

Replaces vector search icon with an update version that is
copied from the OOUI icon set and used in WVUI search.

This update will help us unify the visual appearance of the
existing search input with the one in WVUI.

Bug: T264355
Change-Id: I34792ee80e711b10b441668cc4ae18cc0cc9daa6

2020-11-26 13:19:11 +01:00

jdlrobson

58457f8ae8

Dev: Vector is rearranged like other skins and extensions

A resources folder is the defacto-standard across mediawiki repos.
Vector now mirrors those by describing where files served by ResourceLoader
are located.

Change-Id: Ib7d8575112e8afaaa84221a6f30a15b34b51eb24

2020-01-28 16:57:38 +08:00

2 commits