PHP short tags to long