Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Echo

Andrew Garrett 669a6dbdd2 Merge "Echo: Reset user notification count when adding a new notification"		2012-07-17 23:53:25 +00:00
api	Make Echo use pretty timestamps	2012-07-16 17:05:29 -07:00
controller	Merge "Echo email notification: Make sure users actually want to receive email notifications by checking their preferences first"	2012-06-08 05:33:25 +00:00
db_patches	Fix SQL issue: make event_variant field nullable.	2012-05-18 11:10:41 +10:00
formatters	Implement email notification in Echo. No way to turn it off yet, but at least it is there :).	2012-05-18 01:36:18 +10:00
jobs	Echo: Defer notifications using the Job Queue	2012-06-08 15:30:09 +10:00
maintenance	Add a maintenance script to convert MediaWiki watchlists into Echo subscriptions	2012-06-08 15:32:14 +10:00
model	Echo: Defer notifications using the Job Queue	2012-06-08 15:30:09 +10:00
modules	Echo: Make overlay dismiss only if you click *outside* it.	2012-07-17 15:26:38 -07:00
special	Make Echo use pretty timestamps	2012-07-16 17:05:29 -07:00
.gitignore	Add .gitignore	2012-05-21 01:34:55 +01:00
.gitreview	Add .gitreview file	2012-04-28 01:26:21 +10:00
Echo.i18n.php	Localisation updates from http://translatewiki.net.	2012-07-10 19:38:32 +00:00
Echo.php	Fix URL	2012-07-16 17:04:16 -07:00
echo.sql	Fix SQL issue: make event_variant field nullable.	2012-05-18 11:10:41 +10:00
Hooks.php	Echo: Reset user notification count when adding a new notification	2012-07-17 13:39:45 -07:00
Notifier.php	Echo: Reset user notification count when adding a new notification	2012-07-17 13:39:45 -07:00