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 }}} +
    + <# } #> + + +
    +
  • +
  • +
    +
    +
    +
  • +