Change the title of the widgets in the php file

I was wondering in what php file are saved the widget’s titles. I know that you can change it in the widget section of the wordpress interface, but I’m just curious because I can’t find it in the php files.