File: wp-includes/class-wp-customize-manager.php