Index: wp-admin/includes/class-wp-upgrader-skin.php
===================================================================
--- wp-admin/includes/class-wp-upgrader-skin.php	(revision 43969)
+++ wp-admin/includes/class-wp-upgrader-skin.php	(working copy)
@@ -26,6 +26,11 @@
 	 * @var string|bool|WP_Error
 	 */
 	public $result  = false;
+
+	/**
+	*
+	* @var array $options
+	*/
 	public $options = array();
 
 	/**