diff --git a/wp-includes/class-wp-customize-control.php b/wp-includes/class-wp-customize-control.php index 8b9147905f..df440744bd 100644 --- a/wp-includes/class-wp-customize-control.php +++ b/wp-includes/class-wp-customize-control.php @@ -708,7 +708,7 @@ class WP_Customize_Background_Image_Control extends WP_Customize_Image_Control { } } -final class WP_Customize_Header_Image_Control extends WP_Customize_Image_Control { +class WP_Customize_Header_Image_Control extends WP_Customize_Image_Control { public $type = 'header'; public function __construct( $manager ) { @@ -852,14 +852,12 @@ final class WP_Customize_Header_Image_Control extends WP_Customize_Image_Control
Add new, your theme recommends a header size of %d × %d pixels.' ), $width, $height ); + printf( __( 'While you can crop images to your liking after clicking Add new, your theme recommends a header size of %s × %s pixels.' ), $width, $height ); } elseif ( $width ) { - printf( ( 'While you can crop images to your liking after clicking Add new, your theme recommends a header width of %d pixels.' ), $width ); + printf( __( 'While you can crop images to your liking after clicking Add new, your theme recommends a header width of %s pixels.' ), $width ); } else { - printf( ( 'While you can crop images to your liking after clicking Add new, your theme recommends a header height of %d pixels.' ), $height ); + printf( __( 'While you can crop images to your liking after clicking Add new, your theme recommends a header height of %s pixels.' ), $height ); } ?>