wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-25 08:15:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
2542 commits 164 branches 0 tags 74 MiB
Commit graph

1 commit

Author SHA1 Message Date
Moriel Schottlender 4bbaf77c2a Change the naming of 'notification option' to 'notification item' widgets 
This is in preparation of adding more item models and widget types,
and in preparation of switching the notification widget away from being
a select widget.

Change-Id: I518fb3d80f4f67d677c21ca5593638269acfa544
 2015-11-19 16:52:04 -08:00
Renamed from modules/ooui/styles/mw.echo.ui.NotificationOptionWidget.modern.less (Browse further)