php53 notation