--- a/wp/wp-includes/customize/class-wp-customize-background-image-setting.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-includes/customize/class-wp-customize-background-image-setting.php	Tue Sep 27 16:37:53 2022 +0200
@@ -20,7 +20,7 @@
 	/**
 	 * @since 3.4.0
 	 *
-	 * @param $value
+	 * @param mixed $value The value to update. Not used.
 	 */
 	public function update( $value ) {
 		remove_theme_mod( 'background_image_thumb' );