diff --git a/src/wp-includes/class-wp-customize-manager.php b/src/wp-includes/class-wp-customize-manager.php index 4b5ec333f0..0e4cf6c689 100644 --- a/src/wp-includes/class-wp-customize-manager.php +++ b/src/wp-includes/class-wp-customize-manager.php @@ -4849,7 +4849,7 @@ final class WP_Customize_Manager { $section_description .= ''; if ( 'false' !== wp_get_current_user()->syntax_highlighting ) {