--- a/wp/wp-includes/customize/class-wp-customize-header-image-setting.php	Thu Sep 29 08:06:27 2022 +0200
+++ b/wp/wp-includes/customize/class-wp-customize-header-image-setting.php	Fri Sep 05 18:40:08 2025 +0200
@@ -17,6 +17,13 @@
  * @see WP_Customize_Setting
  */
 final class WP_Customize_Header_Image_Setting extends WP_Customize_Setting {
+
+	/**
+	 * Unique string identifier for the setting.
+	 *
+	 * @since 3.4.0
+	 * @var string
+	 */
 	public $id = 'header_image_data';
 
 	/**
@@ -38,8 +45,10 @@
 			$custom_image_header    = new Custom_Image_Header( $admin_head_callback, $admin_preview_callback );
 		}
 
-		// If the value doesn't exist (removed or random),
-		// use the header_image value.
+		/*
+		 * If the value doesn't exist (removed or random),
+		 * use the header_image value.
+		 */
 		if ( ! $value ) {
 			$value = $this->manager->get_setting( 'header_image' )->post_value();
 		}