Anpassung an ältere PHP version