used alternative syntax for php