Hello, world! from PHP.