| +-----------------------------------------------------------------------+ @version $Id$ */ $labels = array(); $labels['userinfo'] = 'Gebruikersinformatie'; $labels['created'] = 'Aangemaakt'; $labels['lastlogin'] = 'Laatste login'; $labels['defaultidentity'] = 'Standaardidentiteit';