Ticket #24832: 24832.13.diff
| File 24832.13.diff, 1.4 KB (added by , 13 years ago) |
|---|
-
wp-admin/about.php
75 75 <h3><?php _e( 'Support for Audio and Video' ); ?></h3> 76 76 77 77 <div class="feature-section images-stagger-right"> 78 <div class="video image-66"><?php echo wp_video_shortcode( 79 array( 80 'mp4' => (is_ssl() ? 'https://' : 'http://s.' ) . 'wordpress.org/images/core/3.6/sample-video.mp4', 81 'ogv' => (is_ssl() ? 'https://' : 'http://s.' ) . 'wordpress.org/images/core/3.6/sample-video.ogv', 78 <div class="video image-66"><?php 79 $sample_video = ( is_ssl() ? 'https://' : 'http://s.' ) . 'wordpress.org/images/core/3.6/sample-video'; 80 $args = array( 81 'mp4' => "$sample_video.mp4", 82 'ogv' => "$sample_video.ogv", 82 83 'width' => 625, 83 84 'height' => 360, 84 ) 85 ); ?></div> 85 ); 86 // Opera 12 (Presto, pre-Chromium) fails to load ogv properly 87 // when combined with ME.js. Works fine in Opera 15. 88 // Don't serve ogv to Opera 12 to avoid complete brokeness. 89 if ( $GLOBALS['is_opera'] ) 90 unset( $args['ogv'] ); 91 // Our current ME.js API is limited to shortcodes in posts. 92 echo wp_video_shortcode( $args ); 93 ?></div> 86 94 <h4><?php _e( 'New Media Player' ); ?></h4> 87 95 <p><?php _e( 'Share your audio and video with the new built-in HTML5 media player. Upload files using the media manager and embed them in your posts.' ); ?></p> 88 96