A typical Hello World with PHP.