Alternative Hello World program in PHP