今回、index.php で messages.txt を読み込むときに file 関数を使いましたが、前回までのレッスンの中で、functions.php や header.php を読み込むときは require や include を使っていました。require や include を使う時と、file 関数を使う時の違いは何なのでしょうか。