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

Andrew Garrett 5f666bd7a7 Fix non-JS to use the correct message ... Change-Id: Ifd451aeb6755dd77b0e988298546ee125b010e4c		2012-07-31 16:29:30 -07:00
api	Some code formatting, wfMsg and deglobalisation changes.	2012-07-26 18:51:57 +01: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	Some code formatting, wfMsg and deglobalisation changes.	2012-07-26 18:51:57 +01: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: Use red badges instead of putting the number of new notifications in text.	2012-07-31 14:27:51 -07:00
special	Some code formatting, wfMsg and deglobalisation changes.	2012-07-26 18:51:57 +01: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	Echo: Use red badges instead of putting the number of new notifications in text.	2012-07-31 14:27:51 -07:00
Echo.php	Echo: Use red badges instead of putting the number of new notifications in text.	2012-07-31 14:27:51 -07:00
echo.sql	Fix SQL issue: make event_variant field nullable.	2012-05-18 11:10:41 +10:00
Hooks.php	Fix non-JS to use the correct message	2012-07-31 16:29:30 -07:00
Notifier.php	Echo: Reset user notification count when adding a new notification	2012-07-17 13:39:45 -07:00