The first line tells the browser
accessing the page what kind of MIME type are sent.
Without the header command, the browser could not
understand what kind of content is coming. Moreover,
with this line you are not forced to set a particular
extension for your files. This is very useful if
you plan to write multimodal pages, with a script
that checks the device or its capabilities and returns
WML or HTML according to the type of browser.
Check whether PHP is installed
with short tags enabled. If yes, every time you write
a declaration like <?xml
version='1.0'?>, embed it into PHP code
to avoid confusion.
The rest of the code of this
page simply lets you search for examinations timetables
or consulting hours. The choice is recorded into
variable $choice.