wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-02 19:36:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
407 commits 13 branches 19 tags 77 MiB
Commit graph

3 commits

Author SHA1 Message Date
bsitu a05cb46922 Excludes user-dismissed events from count 
Change-Id: I44e9707ba279a737dadb8c59013d53f3c67a5177
 2013-02-14 11:14:08 -08:00
Kaldari af06e26de6 Adding dismiss functionality to special page 
Includes new web preferences for Echo

Also adding ability to set dismissability per notification type

Still need to arrange subscription options into a friendly format

Still need to add dismiss functionality to flyout

Change-Id: I484a24b424e69be3640e63b76f82735edae6f13a
 2013-02-12 11:33:50 -08:00
bsitu 78ad57d43a Abstracting MySQL in Echo so storage type can be swapped easily 
Patch Set 6:
	* remove redundant JobQueueDB because it's the default
	* remove extra ;

Change-Id: I25dc0203ed5be1e4989242a87f4fde9c8799de28
 2013-02-08 10:34:50 -08:00