wp/wp-admin/widgets.php
changeset 19 3d72ae0968f4
parent 18 be944660c56a
--- a/wp/wp-admin/widgets.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-admin/widgets.php	Tue Sep 27 16:37:53 2022 +0200
@@ -21,9 +21,10 @@
 }
 
 if ( ! current_theme_supports( 'widgets' ) ) {
-	wp_die( __( 'The theme you are currently using isn&#8217;t widget-aware, meaning that it has no sidebars that you are able to change. For information on making your theme widget-aware, please <a href="https://developer.wordpress.org/themes/functionality/widgets/">follow these instructions</a>.' ) );
+	wp_die( __( 'The theme you are currently using is not widget-aware, meaning that it has no sidebars that you are able to change. For information on making your theme widget-aware, please <a href="https://developer.wordpress.org/themes/functionality/widgets/">follow these instructions</a>.' ) );
 }
 
+// Used in the HTML title tag.
 $title       = __( 'Widgets' );
 $parent_file = 'themes.php';