Changeset 24950 for trunk/wp-admin/about.php

Timestamp:

08/01/2013 03:41:11 PM (12 years ago)

Author:

nacin

Message:

On the about page, only serve Opera mp4. Pre-Chromium Opera and MediaElement.js doesn't load ogv (video/ogg). see #24832.

File:

• trunk/wp-admin/about.php (modified) (1 diff)

trunk/wp-admin/about.php

@@ -76 +76 @@
 
     <div class="feature-section images-stagger-right">
-        <div class="video image-66"><?php echo wp_video_shortcode(
-            array(
-                'mp4' => (is_ssl() ? 'https://' : 'http://s.' ) . 'wordpress.org/images/core/3.6/sample-video.mp4',
-                'ogv' => (is_ssl() ? 'https://' : 'http://s.' ) . 'wordpress.org/images/core/3.6/sample-video.ogv',
+        <div class="video image-66"><?php
+            $sample_video = ( is_ssl() ? 'https://' : 'http://s.' ) . 'wordpress.org/images/core/3.6/sample-video';
+            $args = array(
+                'mp4' => "$sample_video.mp4",
+                'ogv' => "$sample_video.ogv",
                 'width' => 625,
                 'height' => 360,
-            )
-        ); ?></div>
+            );
+            // Opera 12 (Presto, pre-Chromium) fails to load ogv properly
+            // when combined with ME.js. Works fine in Opera 15.
+            // Don't serve ogv to Opera 12 to avoid complete brokeness.
+            if ( $GLOBALS['is_opera'] )
+                unset( $args['ogv'] );
+            // Our current ME.js API is limited to shortcodes in posts.
+            echo wp_video_shortcode( $args );
+        ?></div>
         <h4><?php _e( 'New Media Player' ); ?></h4>
         <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>