wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Use document.body instead of 'body' as jQuery selector"

Browse source
This commit is contained in:
jenkins-bot 2020-01-05 23:33:24 +00:00 committed by Gerrit Code Review
parent e16ff3a939 99dc512ef8
commit 1f96009221
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ext.echo.init.js
View file

@ -138,7 +138,7 @@ function initDesktop() {
loadingPromise = mw.loader.using( 'ext.echo.ui.desktop' ).then( function () { loadingPromise = mw.loader.using( 'ext.echo.ui.desktop' ).then( function () {
// Overlay // Overlay
$( 'body' ).append( mw.echo.ui.$overlay ); mw.echo.ui.$overlay.appendTo( document.body );
unreadAlertCounter = new mw.echo.dm.UnreadNotificationCounter( echoApi, 'alert', maxNotificationCount ); unreadAlertCounter = new mw.echo.dm.UnreadNotificationCounter( echoApi, 'alert', maxNotificationCount );
alertModelManager = new mw.echo.dm.ModelManager( unreadAlertCounter, { type: 'alert' } ); alertModelManager = new mw.echo.dm.ModelManager( unreadAlertCounter, { type: 'alert' } );