proper php syntax