wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-17 20:52:14 +00:00
Code Issues Packages Projects Releases Wiki Activity
2049 commits 239 branches 5 tags 93 MiB
Commit graph

2 commits

Author SHA1 Message Date
Volker E 7bbad93bc4 [icons] Re-optimize SVGs with SVGO and manually 
- Reducing precision to 1 decimal point (no visible change),
- adding `title` tags where useful,
- reducing paths,
- removing unnecessary `g` elements and
- lowercasing hex colors

Change-Id: I77ee08fbdb54d529f34576b076def985407b3bc2
 2020-10-05 10:27:33 -07:00
MusikAnimal ca71f762fa Show half-star when the page is temporarily watched 
Bug: T248495
Depends-On: I61b24fddf6aaf5233f426602bfa1cc4fafce942b
Change-Id: I712af9a0646d22c3b7873bbf77dba363c5770181
 2020-05-12 00:06:16 +00:00