replacing php short tags