TheDJ has uploaded a new change for review. https://gerrit.wikimedia.org/r/278680
Change subject: Fix exception on jquery ui slider update ...................................................................... Fix exception on jquery ui slider update The jquery ui slider implementation uses $.data to check if the element is initialized, but this data is cleaned up when the slider is removed from the dom. The playhead is updated after the slider is removed from the dom however. Bug: T126234 Change-Id: Ib3439b405e196dce73e82253832115d153e3eb78 --- M MwEmbedModules/EmbedPlayer/resources/mw.EmbedPlayer.js 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/TimedMediaHandler refs/changes/80/278680/1 diff --git a/MwEmbedModules/EmbedPlayer/resources/mw.EmbedPlayer.js b/MwEmbedModules/EmbedPlayer/resources/mw.EmbedPlayer.js index 131302a..441f4f2 100644 --- a/MwEmbedModules/EmbedPlayer/resources/mw.EmbedPlayer.js +++ b/MwEmbedModules/EmbedPlayer/resources/mw.EmbedPlayer.js @@ -2644,7 +2644,7 @@ //mw.log( 'EmbedPlayer: updatePlayHead: '+ perc); if( this.getInterface() ){ var $playHead = this.getInterface().find( '.play_head' ); - if ( !this.useNativePlayerControls() && $playHead.length != 0 ) { + if ( !this.useNativePlayerControls() && $playHead.length != 0, $.contains( document, $playHead[0] ) ) { var val = parseInt( perc * 1000 ); $playHead.slider( 'value', val ); } -- To view, visit https://gerrit.wikimedia.org/r/278680 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ib3439b405e196dce73e82253832115d153e3eb78 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/TimedMediaHandler Gerrit-Branch: master Gerrit-Owner: TheDJ <hartman.w...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits