эта конструкция аналогична этой (просто короче):
if ( !isset($_GET['page']) || !in_array(strtolower($_GET['page']), $pages) ) {
$page = 'index';
} else {
$page = $_GET['page'];
}
опускаем буквы в нижний регистр что бы страницы index InDex INDEX были одинаковыми