mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-12 09:26:05 +00:00
b1b9b6e257
Make the popup header the pending element to give the user a visual indication that the notification widget is being updated, but don't clear the notifications before loading more from the database. Bug: T112186 Change-Id: If2b724fab07ef5b7caf5cab3e44fe326470ac0e7 |
||
---|---|---|
.. | ||
icons | ||
logger | ||
nojs | ||
ooui | ||
special | ||
viewmodel | ||
echo.mixins.less | ||
echo.variables.less | ||
ext.echo.init.js | ||
hooks.txt |