<?php

$labels = array();
$labels['help'] = 'Aide';
$labels['about'] = 'A propos';
$labels['license'] = 'Licence';

?>