Volker E d7ebaf8c8b Replace outdated border-radius value with WikimediaUI one ... Change-Id: Iebfd55c8e7f52f207f45dc547fccaf89107e8a32		2017-08-17 17:22:57 -07:00
..
api
controller
icons	Simplify definition of 'ext.echo.badgeicons' module	2017-03-21 20:33:10 +01:00
logger
model	Fallback to dbname if source title doesn't exist	2017-06-05 16:40:15 +03:00
nojs	Add 'Mark all as read' button	2017-08-13 10:55:46 -05:00
special	Special:Notifications show unread by default if there's unread notifications	2017-04-19 15:20:12 -04:00
styles	Replace outdated border-radius value with WikimediaUI one	2017-08-17 17:22:57 -07:00
ui	Migrate from FloatingMenuSelectWidget (deprecated) to MenuSelectWidget	2017-06-23 12:58:22 -07:00
echo.mixins.less
echo.variables.less	Make the invisible text in badges really invisible	2017-03-28 18:26:26 +02:00
ext.echo.init.js	Remove calls to debouncedUpdateThemeClasses	2017-01-20 10:48:32 -05:00
ext.echo.moment-hack.js
hooks.txt
mw.echo.js