wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 01:30:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
3301 commits 13 branches 19 tags 77 MiB
Commit graph

2 commits

Author SHA1 Message Date
Roan Kattouw 9429e78e61 ToggleReadCircleButtonWidget: Tweak colors per Pau 
Also add border-box to prevent the circle from appearing
to grow when a border appears.

Bug: T126214
Change-Id: Id5e89ff87759c4ae44851d5ad3061230a0e59ff0
 2016-06-27 17:16:54 +02:00
Moriel Schottlender f84808b83a Change mark as read buttons to circles 
Allow for mark read and mark unread through the side button, and
change its style according to spec in the ticket.

Bug: T126214
Change-Id: I78a93c0545bbe2d7c11a0c62557cd2e97e9d3866
 2016-06-21 11:54:00 -07:00