diff -r 490d5cc509ed -r cf61fcea0001 wp/wp-includes/customize/class-wp-customize-themes-panel.php
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/wp/wp-includes/customize/class-wp-customize-themes-panel.php Mon Oct 14 17:39:30 2019 +0200
@@ -0,0 +1,101 @@
+
+
+
+ manager->is_theme_active() ) {
+ echo '' . __( 'Active theme' ) . ' {{ data.title }}';
+ } else {
+ echo '' . __( 'Previewing theme' ) . ' {{ data.title }}';
+ }
+ ?>
+
+
+
+
+
+
+
+
+
+
+
+
+ ' . __( 'Themes' ) . '' ); // Separate strings for consistency with other panels.
+ ?>
+
+
+ <# if ( data.description ) { #>
+
+ <# } #>
+
+
+
+ <# if ( data.description ) { #>
+
+ {{{ data.description }}}
+
+ <# } #>
+
+
+
+
+
+
+
+