..
api
Use wikiId both server and client side
2019-05-08 09:03:28 -04:00
controller
Use wikiId both server and client side
2019-05-08 09:03:28 -04:00
icons
Remove badgeicon module, use OOUI icon instead.
2019-06-05 12:29:17 +05:30
logger
Use wikiId both server and client side
2019-05-08 09:03:28 -04:00
model
Update eslint-config-wikimedia to 0.9.0
2018-11-27 22:48:32 +00:00
nojs
Provide visual focus feedback for notification badges
2019-06-10 12:31:45 -07:00
special
Merge "Add visible help link for Special:Notifications"
2019-04-09 15:32:14 +00:00
styles
build: Update 'stylelint-config-wikimedia' to v0.5.0 and make pass
2019-01-09 18:42:06 -08:00
ui
Remove badgeicon module, use OOUI icon instead.
2019-06-05 12:29:17 +05:30
echo.mixins.less
build: Update 'stylelint-config-wikimedia' to v0.5.0 and make pass
2019-01-09 18:42:06 -08:00
echo.variables.less
Better color to represent read notifications
2017-12-09 02:11:08 +01:00
ext.echo.init.js
Add visual cue to indicate change in notification count
2019-07-01 14:31:36 -07:00
ext.echo.moment-hack.js
Remove obsolete aliases from closures
2018-11-12 13:56:38 +00:00
hooks.txt
(re)Add JavaScript hooks to Notifications
2016-10-14 17:25:25 -05:00
mw.echo.js
ext.echo.dm: Remove unreachable lazy-creation code
2019-03-19 20:16:37 +00:00