mediawiki-extensions-Echo/modules
Ed Sanders 2c089e075d build: Update linters
Change-Id: I9747097fdf725992710f97d4ce4ea49fd611df1b
2018-09-11 23:46:52 +01:00
..
api Use API proxying for markasread requests in the front end 2018-09-03 13:31:53 -07:00
controller build: Update eslint and other linters 2017-10-17 13:53:08 +01:00
icons build: Extend 'svgmin' options and move to 'minify' task 2018-05-29 10:26:22 -07:00
logger Clean up EventLogging integration 2018-08-09 14:19:45 +00:00
model build: Update linters 2018-09-11 23:46:52 +01:00
nojs Replacing fallback color for code hygiene 2018-06-06 17:49:06 +00:00
special Special:Notifications show unread by default if there's unread notifications 2017-04-19 15:20:12 -04:00
styles Convert SpecialHelpMenuWidget to a customised DropdownWidget 2018-05-30 18:57:07 +01:00
ui Merge "Always place items outside menu if there's less than two of them" 2018-08-30 21:10:31 +00:00
echo.mixins.less
echo.variables.less Better color to represent read notifications 2017-12-09 02:11:08 +01:00
ext.echo.init.js Make markasread parameter work cross-wiki 2018-09-03 10:59:31 -07: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