--- a/wp/wp-includes/widgets/class-wp-widget-search.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-includes/widgets/class-wp-widget-search.php	Tue Sep 27 16:37:53 2022 +0200
@@ -51,7 +51,7 @@
 			echo $args['before_title'] . $title . $args['after_title'];
 		}
 
-		// Use current theme search form if it exists.
+		// Use active theme search form if it exists.
 		get_search_form();
 
 		echo $args['after_widget'];