--- a/wp/wp-includes/widgets/class-wp-widget-search.php	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-includes/widgets/class-wp-widget-search.php	Tue Dec 15 13:49:49 2020 +0100
@@ -50,7 +50,7 @@
 			echo $args['before_title'] . $title . $args['after_title'];
 		}
 
-		// Use current theme search form if it exists
+		// Use current theme search form if it exists.
 		get_search_form();
 
 		echo $args['after_widget'];
@@ -67,7 +67,10 @@
 		$instance = wp_parse_args( (array) $instance, array( 'title' => '' ) );
 		$title    = $instance['title'];
 		?>
-		<p><label for="<?php echo $this->get_field_id( 'title' ); ?>"><?php _e( 'Title:' ); ?> <input class="widefat" id="<?php echo $this->get_field_id( 'title' ); ?>" name="<?php echo $this->get_field_name( 'title' ); ?>" type="text" value="<?php echo esc_attr( $title ); ?>" /></label></p>
+		<p>
+			<label for="<?php echo $this->get_field_id( 'title' ); ?>"><?php _e( 'Title:' ); ?></label>
+			<input class="widefat" id="<?php echo $this->get_field_id( 'title' ); ?>" name="<?php echo $this->get_field_name( 'title' ); ?>" type="text" value="<?php echo esc_attr( $title ); ?>" />
+		</p>
 		<?php
 	}