Что работает быстрее: if+include или просто if?

Если я не ошибаюсь, то php файл пользователь не видит. PHP выполняется на сервере, а пользователь только получает результат его работы. Я не совсем понимаю, как работает if на сервере. Я предполагаю, что работает оно так: сервер видит слово if, проверяет его, и, если оно не подходит, то он игнорит код до того момента, пока не будет "}". Но в любом случае ему нужно прочесть содержимое if() { ... }, ведь пока он его не прочтёт, он не дойдёт до закрывающейся фигурной скобки, которая говорит об окончании работы if. Если оно работает так, как я описал, то я предполагаю, что подгружать содержимое include он не будет. Он просто прочтёт надпись include и всё. Так я смогу сократить время. Или же сервер его подгрузит?
В вопросе я указал очень маленький кусок кода. В жизни он у меня перевалил уже за 500 строк, поэтому я и спрашиваю, что быстрее. Прочесть серверу 500 строк или сделать include?

qqignatqq: Не совсем. PHP-интерпретатор скачает ВСЕ include и require, заменит код в файле на содержимое, затем выполнит. Потому что только так можно сделать код:

// index.php
if(rand() == 0) {
    include "wow.php";
}
//wow.pgp
echo "Wow!";
} else {
echo "Oh.";

Зачем так делать - уже другой вопрос )

Ivanq , вы ошибаетесть.

Григорий Есин: тогда как всё устроено?

Григорий Есин: Ок. Действительно интересно, как оно на самом деле работает? Просвятите )