wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 09:26:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
4418 commits 163 branches 0 tags 73 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders c8d24ebd17 build: Replace jscs/jshint with eslint 
Change-Id: Iee1d1b20ed31e636bfb8fc8cf9b18ff328bf608c
 2016-11-23 15:25:59 -08: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