jenkins-bot has submitted this change and it was merged. Change subject: Use && instead of , ......................................................................
Use && instead of , Follow up to 484347c7d6a6b5dfdaf619d4ab2a3b9bb5d1780e Change-Id: I9df09c48a3215bfc0bae79e788ab658f768b3b49 --- M MwEmbedModules/EmbedPlayer/resources/mw.EmbedPlayer.js 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Alex Monk: Looks good to me, approved jenkins-bot: Verified diff --git a/MwEmbedModules/EmbedPlayer/resources/mw.EmbedPlayer.js b/MwEmbedModules/EmbedPlayer/resources/mw.EmbedPlayer.js index 441f4f2..a9aea2b 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, $.contains( document, $playHead[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/278838 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9df09c48a3215bfc0bae79e788ab658f768b3b49 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/TimedMediaHandler Gerrit-Branch: master Gerrit-Owner: TheDJ <hartman.w...@gmail.com> Gerrit-Reviewer: Alex Monk <kren...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits