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