Fix php short tags for production