An extended "Hello World" php file