wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-28 02:00:34 +00:00
Code Issues Packages Projects Releases Wiki Activity
2757 commits 11 branches 26 tags 35 MiB
Commit graph

4 commits

Author SHA1 Message Date
Sam Wilson 3ab9a863a2 Realtime preview: improve toolbar button style 
* Add hover and active styles to match normal toolbar state styling.
* Move border from right to left on `.section-secondary .group`.
* Add a skinStyle for MonoBook so it doesn't get the button style,
  because it provides its own.

Bug: T303991
Change-Id: I6f08906156a9768729d779b6c50c9e804f51fb98
 2022-04-26 15:08:28 +08:00
Ed Sanders b3dbb96cf3 Update stylelint-config-wikimedia 
Change-Id: Ib7c44812e8adc159ff2c1d634712e05cc8511078
 2021-06-15 15:14:04 +01:00
Ed Sanders 90c0b245fc Move 32px dropdown height to -wikimedia.less 
Bug: T251682
Change-Id: I86afcb66b8d5d8fdff4f95944c863b10a1949518
 2020-05-03 21:17:03 +01:00
Ed Sanders 0df5223a20 Use WikimediaUI toolbar styling in Vector 
Bug: T223155
Change-Id: I4730a78836e8db0b4116f09e07929d8b883c9fa4
 2020-02-10 14:44:06 -08:00