--- a/wp/wp-includes/customize/class-wp-customize-upload-control.php	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-includes/customize/class-wp-customize-upload-control.php	Tue Dec 15 13:49:49 2020 +0100
@@ -18,9 +18,9 @@
 	public $type          = 'upload';
 	public $mime_type     = '';
 	public $button_labels = array();
-	public $removed       = ''; // unused
-	public $context; // unused
-	public $extensions = array(); // unused
+	public $removed       = '';   // Unused.
+	public $context;              // Unused.
+	public $extensions = array(); // Unused.
 
 	/**
 	 * Refresh the parameters passed to the JavaScript via JSON.