Ticket #44124: 44124.diff

src/wp-admin/custom-header.php

@@ -283 +283 @@
                         $type    = 'uploaded';
                 }
 
-                if ( 1 < count( $headers ) ) {
+                if ( is_countable( $headers ) && count( $headers ) > 1 ) {
                         echo '<div class="random-header">';
                         echo '<label><input name="default-header" type="radio" value="random-' . $type . '-image"' . checked( is_random_header_image( $type ), true, false ) . ' />';
                         _e( '<strong>Random:</strong> Show a different image on each page.' );