강의에서 include문은 파일의 확장자나 타입에 상관없이 코드를 실행시킨다고 나와있는데, 그럼 html파일 안에 php 코드가 들어있으면 php 코드가 실행되나요??