Removed PHP short tags.

You shouldn't use short tags as they require a specific configuration or
that PHP is configured with `--enable-short-tags`. Some people might not
be allowed to make this configuration change, or considering the target
audience, they might not know how. `<?php` will always work.