PHP short tags to full tags