mediawiki-extensions-Echo/modules
2019-06-18 23:39:41 +00:00
..
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 Make Notification count update without page reload 2019-06-18 04:49:59 +05:30
ext.echo.moment-hack.js Remove obsolete aliases from closures 2018-11-12 13:56:38 +00:00
hooks.txt
mw.echo.js ext.echo.dm: Remove unreachable lazy-creation code 2019-03-19 20:16:37 +00:00