execute();
$ui = new ResultsInterface($stop, $searchresults);
}
}
// Display line info board or search for lines
/* elseif (isset($_GET['l'])) {
$lineRef = $_GET['l'];
$ui = new LineInfoboard($lineRef);
}*/
// Show search interface
else {
$ui = new SearchUI();
}
?>
<?php $title = $ui->title(); if ($title) echo $title . ' – '; ?>De Lijn Reisinformatie lite
display();
?>