Edit File: wp-widget.php