<?php

$labels = array();
$labels['userinfo'] = 'Info utilisateur';
$labels['created'] = 'Date de création';
$labels['lastlogin'] = 'Dernière connexion';
$labels['defaultidentity'] = 'Identité principale';

?>
