WordPress.org

Make WordPress Core

Ticket #24832: 24832.13.diff

File 24832.13.diff, 1.4 KB (added by nacin, 8 years ago)
  • wp-admin/about.php

     
    7575        <h3><?php _e( 'Support for Audio and Video' ); ?></h3>
    7676
    7777        <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",
    8283                                'width' => 625,
    8384                                '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>
    8694                <h4><?php _e( 'New Media Player' ); ?></h4>
    8795                <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>
    8896