Fix PHP opening tag