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