mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
c0a464e425
* Add ISO 8601 date format to notification output This is actually supposed to be the only output date format used, per https://www.mediawiki.org/wiki/API:Data_formats#Timestamps , but I'm not doing anything to deprecate the others right now. * Change wgEchoSeenTime to use ISO 8601. mwgrep and extension grep do not show any usages. However, since it is a breaking change, to minimize disruption, I'm also using this opportunity to change 'message' to 'notice'. * Remove wgEchoInitialNotifCount. I was going to also change 'message' to 'notice' here too, but then I saw it was totally unused. (It was read in Echo to populate a JS variable, but then it was unused.) * Make sure the Special:Notifications page aggregation by days is done by local days, even though the timestamp per item is still UTC. This is to make sure the days are displayed correctly in the local timezone. * Change all reverse sorting callbacks to handle comparisons of ISO 8601. Bug: T141413 Change-Id: I20271345c7d350dc3e7f467288e5cdc98e6250cc |
||
---|---|---|
.. | ||
mw.echo.ui.ActionMenuPopupWidget.js | ||
mw.echo.ui.BadgeLinkWidget.js | ||
mw.echo.ui.BundleNotificationItemWidget.js | ||
mw.echo.ui.CrossWikiNotificationItemWidget.js | ||
mw.echo.ui.CrossWikiUnreadFilterWidget.js | ||
mw.echo.ui.DatedNotificationsWidget.js | ||
mw.echo.ui.DatedSubGroupListWidget.js | ||
mw.echo.ui.FooterNoticeWidget.js | ||
mw.echo.ui.js | ||
mw.echo.ui.MenuItemWidget.js | ||
mw.echo.ui.NotificationBadgeWidget.js | ||
mw.echo.ui.NotificationItemWidget.js | ||
mw.echo.ui.NotificationsInboxWidget.js | ||
mw.echo.ui.NotificationsListWidget.js | ||
mw.echo.ui.NotificationsWrapper.js | ||
mw.echo.ui.PageFilterWidget.js | ||
mw.echo.ui.PageNotificationsOptionWidget.js | ||
mw.echo.ui.PaginationWidget.js | ||
mw.echo.ui.PlaceholderItemWidget.js | ||
mw.echo.ui.ReadStateButtonSelectWidget.js | ||
mw.echo.ui.SingleNotificationItemWidget.js | ||
mw.echo.ui.SortedListWidget.js | ||
mw.echo.ui.SpecialHelpMenuWidget.js | ||
mw.echo.ui.SubGroupListWidget.js | ||
mw.echo.ui.ToggleReadCircleButtonWidget.js |