Typ minstens 2 karakters om te zoeken over heel PHP.nl
Alias DateTime::setTimestamp
info.function.alias DateTime::setTimestamp
DateTime::setTimestamp