wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-03 20:06:59 +00:00
Code Issues Packages Projects Releases Wiki Activity
5283 commits 14 branches 19 tags 77 MiB
Commit graph

3 commits

Author SHA1 Message Date
Volker E c2dba98a9d build: Update 'stylelint-config-wikimedia' to v0.5.0 and make pass 
Change-Id: I2789e3b93d1fc5743ea94b946fcd3e3ba8798e5e
 2019-01-09 18:42:06 -08:00
Moriel Schottlender df4aa8ea0b Truncate page name in the sidebar and organize into table view 
Organize into table view for consistency and truncate the title.

Bug: T184143
Change-Id: I0ae3105ea60dcc2ae6c0f7f2545368a5f86cb2c4
 2018-01-16 12:09:01 -08:00
Moriel Schottlender 820d2b0fa7 Add a cross-wiki sidebar to the Special:Notifications page 
Add a sidebar with cross-wiki sources and pages of unread notifications.
The filter allows the user to fetch notifications from a foreign source
and specific pages if those exist.

Bug: T129366
Change-Id: I57d827a47f80274d75364c2099a9624049a26834
 2016-06-21 14:49:42 -07:00