diff -r be944660c56a -r 3d72ae0968f4 wp/wp-includes/customize/class-wp-customize-header-image-setting.php
--- a/wp/wp-includes/customize/class-wp-customize-header-image-setting.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-includes/customize/class-wp-customize-header-image-setting.php	Tue Sep 27 16:37:53 2022 +0200
@@ -24,7 +24,7 @@
 	 *
 	 * @global Custom_Image_Header $custom_image_header
 	 *
-	 * @param $value
+	 * @param mixed $value The value to update.
 	 */
 	public function update( $value ) {
 		global $custom_image_header;