Index: trunk/extensions/TimedMediaHandler/MwEmbedModules/EmbedPlayer/resources/mw.EmbedPlayer.js |
— | — | @@ -1225,8 +1225,16 @@ |
1226 | 1226 | * Should be set via native embed support |
1227 | 1227 | */ |
1228 | 1228 | applyMediaElementBindings: function(){ |
| 1229 | + mw.log("Warning /** |
| 1230 | + * Should be set via native embed support |
| 1231 | + */ |
| 1232 | + applyMediaElementBindings: function(){ |
| 1233 | + mw.log("Warning applyMediaElementBindings should be implemented by player interface" ); |
1229 | 1234 | return ; |
1230 | 1235 | }, |
| 1236 | + should be implemented by player interface" ); |
| 1237 | + return ; |
| 1238 | + }, |
1231 | 1239 | |
1232 | 1240 | /** |
1233 | 1241 | * Gets code to embed the player remotely for "share" this player links |