Este é um documento simples sem grandes sofisticações.
Mas esta parte não está no index.php. Será magia? É só ver o código-fonte do PHP que faz isto acontecer.