wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-15 03:35:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
3177 commits 163 branches 0 tags 73 MiB
Commit graph

2 commits

Author SHA1 Message Date
Moriel Schottlender 6e21a620ef Clean up the pagination in Special:Notifications 
Add a pagination widget with events and separate the logic for
organization. Let the widget listen to events from the pagination
model so it always keeps itself updated.

Change-Id: Id1df112cbb0d90195217e88fbee97a59170b99c5
 2016-05-31 16:12:09 -07:00
Moriel Schottlender 9262614ded Initial version of Special:Notifications Javascript page 
Bug: T129176
Change-Id: I2f55358c16f78e234ec19154b944a4edebfbe639
 2016-05-27 13:42:25 -07:00