| Index: trunk/extensions/TimedMediaHandler/MwEmbedModules/EmbedPlayer/resources/mw.EmbedTypes.js |
| — | — | @@ -36,15 +36,15 @@ |
| 37 | 37 | // MediaPlayers object ( supports methods for quering set of browser players ) |
| 38 | 38 | mediaPlayers: null, |
| 39 | 39 | |
| 40 | | - // Detect flag for completion |
| 41 | | - detect_done:false, |
| | 40 | + // Detect flag for completion |
| | 41 | + detect_done:false, |
| 42 | 42 | |
| 43 | | - /** |
| 44 | | - * Runs the detect method and update the detect_done flag |
| 45 | | - * |
| 46 | | - * @constructor |
| 47 | | - */ |
| 48 | | - init: function() { |
| | 43 | + /** |
| | 44 | + * Runs the detect method and update the detect_done flag |
| | 45 | + * |
| | 46 | + * @constructor |
| | 47 | + */ |
| | 48 | + init: function() { |
| 49 | 49 | // detect supported types |
| 50 | 50 | this.detect(); |
| 51 | 51 | this.detect_done = true; |
| — | — | @@ -82,9 +82,9 @@ |
| 83 | 83 | mw.log( "embedPlayer: running detect" ); |
| 84 | 84 | // In Mozilla, navigator.javaEnabled() only tells us about preferences, we need to |
| 85 | 85 | // search navigator.mimeTypes to see if it's installed |
| 86 | | - try{ |
| | 86 | + try { |
| 87 | 87 | var javaEnabled = navigator.javaEnabled(); |
| 88 | | - } catch ( e ){ |
| | 88 | + } catch ( e ) { |
| 89 | 89 | |
| 90 | 90 | } |
| 91 | 91 | // Some browsers filter out duplicate mime types, hiding some plugins |