Proper php open tag.