I helped a friend of mine yesterday with some Wordpress stuff (which I know very little about), end we ended up doing some minor editing in a PHP file.
We found this file in a nice list displaying all PHP and CSS files involved in the theme.
Today my girlfriend was trying to remove the comment field from her pages. It involves doing some editing in a PHP file, but we are not able to find the files. The list from yesterday has seemingly disappeared magically from the menus (or we have forgotten where it was).
Or is this a free vs pro thing? My girlfriend uses the free version, but I don't know if my other friend had the pro.