I am using theme (Knowledgedesk) that includes a header.php in its child theme's directory. However the changes I make by editing header.php are not visibles. It cannot be the cache, I already checked (and editing style.css works fine). Then, is there a way to determine which header.php is loaded (using browser network tab, access.log, etc.)?