“Hello, (real) world!” in PHP in 2017