Index: trunk/extensions/TimedMediaHandler/MwEmbedModules/EmbedPlayer/resources/mw.MediaElement.js |
— | — | @@ -147,8 +147,9 @@ |
148 | 148 | $( '#' + this.parentEmbedId ).trigger( 'SourceChange'); |
149 | 149 | } |
150 | 150 | }, |
| 151 | + |
151 | 152 | /** |
152 | | - * Sets a the selected source to passed in source object |
| 153 | + * Sets the selected source to passed in source object |
153 | 154 | * @param {Object} Source |
154 | 155 | */ |
155 | 156 | setSource: function( source ){ |
— | — | @@ -158,7 +159,6 @@ |
159 | 160 | $( '#' + this.parentEmbedId ).trigger( 'SourceChange'); |
160 | 161 | } |
161 | 162 | }, |
162 | | - |
163 | 163 | |
164 | 164 | /** |
165 | 165 | * Selects the default source via cookie preference, default marked, or by |
— | — | @@ -328,10 +328,8 @@ |
329 | 329 | * mimeType MIME type to check. |
330 | 330 | * @return {Boolean} true if sources include MIME false if not. |
331 | 331 | */ |
332 | | - hasStreamOfMIMEType: function( mimeType ) |
333 | | - { |
334 | | - for ( var i = 0; i < this.sources.length; i++ ) |
335 | | - { |
| 332 | + hasStreamOfMIMEType: function( mimeType ) { |
| 333 | + for ( var i = 0; i < this.sources.length; i++ ) { |
336 | 334 | if ( this.sources[i].getMIMEType() == mimeType ){ |
337 | 335 | return true; |
338 | 336 | } |