J has submitted this change and it was merged. Change subject: Fixes for java IE and experience improvments ......................................................................
Fixes for java IE and experience improvments Change-Id: Iea5be8710eef1c61f5dbae0de28b00682b4779c0 --- M MwEmbedModules/EmbedPlayer/EmbedPlayer.i18n.php M MwEmbedModules/EmbedPlayer/EmbedPlayer.loader.js M MwEmbedModules/EmbedPlayer/EmbedPlayer.php D MwEmbedModules/EmbedPlayer/binPlayers/cortado/cortado-ovtk-stripped-0.6.0.jar M MwEmbedModules/EmbedPlayer/resources/mw.EmbedPlayerJava.js M MwEmbedModules/EmbedPlayer/resources/skins/kskin/PlayerSkinKskin.css M MwEmbedModules/EmbedPlayer/resources/skins/mw.PlayerControlBuilder.js M TimedMediaHandler.php M resources/mw.MediaWikiPlayerSupport.js 9 files changed, 67 insertions(+), 61 deletions(-) Approvals: J: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/16711 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iea5be8710eef1c61f5dbae0de28b00682b4779c0 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/TimedMediaHandler Gerrit-Branch: master Gerrit-Owner: Mdale <[email protected]> Gerrit-Reviewer: J <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
