The first PHP basic example now runs