File: wp-includes/customize/class-wp-customize-themes-panel.php