I'm asking about the relation of WP .php files (themes etc.) with the database. Is (part of) the content of these files stored in any way on the database?
Context: I'm trying to migrate from http to https. All the relevant guides, talk exclusively about a "Search and Replace" of the http://domain with the https://domain in the database. Nowhere did I find anyone mention that you should also do a search and replace in the theme or other .php files of WP; though often there are links/references to the domain in these files.