Original, unedited theme-widgets.php file.