Removed PHP short tags.

You shouldn't use short tags as they require a specific php.ini 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.