Ticket #44410: 44410-2.diff

class-wp-customize-header-image-control.php

@@ -15 +15 @@
  * @see WP_Customize_Image_Control
  */
 class WP_Customize_Header_Image_Control extends WP_Customize_Image_Control {
+        /**
+         * Customize control type.
+         *
+         * @var string
+         */
         public $type = 'header';
+
+        /**
+         * Uploaded header images.
+         *
+         * @var array
+         */
         public $uploaded_headers;
+        
+        /**
+         * Default header images.
+         *
+         * @var array
+         */
         public $default_headers;
 
         /**