convert all php short tags