converted php short tags to standard ones