Updated mediawiki/extensions Project: mediawiki/extensions/Echo…

Authored by jenkins-bot.


Updated mediawiki/extensions Project: mediawiki/extensions/Echo 1d9481f43c9188855296606df4b643da247ae985

Only load ext.echo.ui if the user clicks the echo badge

There is no need to load the entire of Echo's ui module (especially
since that includes ooui widgets and their styles) on every page load.
There's only need to load the entire module if and when a user clicks
the Echo notification badge.

Also, make the echo.dm model accept an external fetchNotifications
promise so we can send the API request alongside loading the echo UI
and "feed" it into the DM for processing.

CSS adjusted to make the "jump" between the nojs and the js buttons
seem less jumpy.

Bug: T112401
Change-Id: I516e655ffd198511d694489a0702c5c713a5fd68

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT0ffc7f33c71a: Updated mediawiki/extensions Project: mediawiki/extensions/Echo… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Sep 16 2015, 5:14 PM