mediawiki-extensions-Echo/modules
Ed Sanders 3b4be7b6c5 NotificationItemWidgets: Remove property setting duplicated from parents
Change-Id: I03c83d3cfb6ce22ccca0cc2dc1d1e20b36d739c8
2018-05-22 15:54:55 +01:00
..
api Use "formatversion: 2" in notification fetching 2017-09-13 15:18:07 -07:00
controller build: Update eslint and other linters 2017-10-17 13:53:08 +01:00
icons Merge "Revert "Revert "Remove unused 'trash' icon""" 2018-04-12 15:37:42 +00:00
logger Split up $wgEchoConfig 2016-12-05 15:44:12 -08:00
model build: Update eslint and other linters 2017-10-17 13:53:08 +01:00
nojs Add extra margin for the badge when count is 99+ 2018-03-28 19:44:38 +03:00
special Special:Notifications show unread by default if there's unread notifications 2017-04-19 15:20:12 -04:00
styles Merge "Sticky toolbar: Add missing vendor prefix" 2018-04-30 22:56:43 +00:00
ui NotificationItemWidgets: Remove property setting duplicated from parents 2018-05-22 15:54:55 +01:00
echo.mixins.less Truncate usernames, titles and excerpts in notifications 2016-01-29 07:04:23 -05:00
echo.variables.less Better color to represent read notifications 2017-12-09 02:11:08 +01:00
ext.echo.init.js Make 'links' a required argument of NotificationBadgeWidget 2018-05-22 15:42:45 +01:00
ext.echo.moment-hack.js build: Replace jscs/jshint with eslint 2016-11-23 15:25:59 -08:00
hooks.txt (re)Add JavaScript hooks to Notifications 2016-10-14 17:25:25 -05:00
mw.echo.js build: Replace jscs/jshint with eslint 2016-11-23 15:25:59 -08:00