add php short tags documentation link